wneuper/isa: Admin/init_components@2307efbfc554

Admin/init_components

Z3 prints so many warnings that the very informative abnormal termination exception hardly ever gets raised -- better be more aggressive here

     1 # -*- shell-script -*- :mode=shellscript:

2 #

     3 # Author: Florian Haftmann, TU Muenchen

4 #

     5 # init_components - bash source script to initialize components

     6 # as specified in the Admin directory

     8 while { unset REPLY; read -r; test "$?" = 0 -o -n "$REPLY"; }

     9 do

    10   case "$REPLY" in

    11     \#* | "") ;;

    12     /*) init_component "$REPLY" ;;

    13     *) init_component "$COMPONENT/$REPLY" ;;

    14   esac

    15 done < "$ISABELLE_HOME/Admin/components"

wneuper/isa