diff -r a99e58e043ee -r 300b7d5d23d7 lib/Tools/makeall
--- a/lib/Tools/makeall	Tue Aug 04 16:09:46 2009 +0200
+++ b/lib/Tools/makeall	Tue Aug 04 16:11:11 2009 +0200
@@ -4,11 +4,6 @@
 #
 # DESCRIPTION: apply make utility to all logics
 
-## global settings
-
-ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP HOLCF LCF Sequents"
-
-
 ## diagnostics
 
 PRG="$(basename "$0")"
@@ -18,7 +13,7 @@
   echo
   echo "Usage: isabelle $PRG [ARGS ...]"
   echo
-  echo "  Apply isabelle make to all logics (passing ARGS)."
+  echo "  Apply isabelle make to all components with IsaMakefile (passing ARGS)."
   echo
   exit 1
 }
@@ -29,6 +24,7 @@
   exit 2
 }
 
+
 ## main
 
 [ "$1" = "-?" ] && usage
@@ -38,9 +34,14 @@
 echo "Started at $(date) ($ML_IDENTIFIER on $(hostname))"
 . "$ISABELLE_HOME/lib/scripts/timestart.bash"
 
-for L in $ALL_LOGICS
+ORIG_IFS="$IFS"; IFS=":"; declare -a COMPONENTS=($ISABELLE_COMPONENTS); IFS="$ORIG_IFS"
+
+for DIR in "${COMPONENTS[@]}"
 do
-  ( cd "$ISABELLE_HOME/src/$L"; "$ISABELLE_TOOL" make "$@" ) || FAIL="$FAIL$L "
+  if [ -f "$DIR/IsaMakefile" ]; then
+    NAME="$(basename "$DIR")"
+    ( cd "$DIR"; "$ISABELLE_TOOL" make "$@" ) || FAIL="$FAIL$NAME "
+  fi
 done
 
 echo -n "Finished at "; date