1.1 --- a/lib/Tools/makeall	Tue Aug 04 16:09:46 2009 +0200
     1.2 +++ b/lib/Tools/makeall	Tue Aug 04 16:11:11 2009 +0200
     1.3 @@ -4,11 +4,6 @@
     1.4  #
     1.5  # DESCRIPTION: apply make utility to all logics
     1.6  
     1.7 -## global settings
     1.8 -
     1.9 -ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP HOLCF LCF Sequents"
    1.10 -
    1.11 -
    1.12  ## diagnostics
    1.13  
    1.14  PRG="$(basename "$0")"
    1.15 @@ -18,7 +13,7 @@
    1.16    echo
    1.17    echo "Usage: isabelle $PRG [ARGS ...]"
    1.18    echo
    1.19 -  echo "  Apply isabelle make to all logics (passing ARGS)."
    1.20 +  echo "  Apply isabelle make to all components with IsaMakefile (passing ARGS)."
    1.21    echo
    1.22    exit 1
    1.23  }
    1.24 @@ -29,6 +24,7 @@
    1.25    exit 2
    1.26  }
    1.27  
    1.28 +
    1.29  ## main
    1.30  
    1.31  [ "$1" = "-?" ] && usage
    1.32 @@ -38,9 +34,14 @@
    1.33  echo "Started at $(date) ($ML_IDENTIFIER on $(hostname))"
    1.34  . "$ISABELLE_HOME/lib/scripts/timestart.bash"
    1.35  
    1.36 -for L in $ALL_LOGICS
    1.37 +ORIG_IFS="$IFS"; IFS=":"; declare -a COMPONENTS=($ISABELLE_COMPONENTS); IFS="$ORIG_IFS"
    1.38 +
    1.39 +for DIR in "${COMPONENTS[@]}"
    1.40  do
    1.41 -  ( cd "$ISABELLE_HOME/src/$L"; "$ISABELLE_TOOL" make "$@" ) || FAIL="$FAIL$L "
    1.42 +  if [ -f "$DIR/IsaMakefile" ]; then
    1.43 +    NAME="$(basename "$DIR")"
    1.44 +    ( cd "$DIR"; "$ISABELLE_TOOL" make "$@" ) || FAIL="$FAIL$NAME "
    1.45 +  fi
    1.46  done
    1.47  
    1.48  echo -n "Finished at "; date