# HG changeset patch
# User wenzelm
# Date 858094760 -3600
# Node ID 69cf3aea45ee93fbb479330d1e4ea63aeeadbc48
# Parent  0178e3cd9714810dd3b90a8c42d58971d5455ba2
major tuning;

diff -r 0178e3cd9714 -r 69cf3aea45ee build
--- a/build	Tue Mar 11 16:38:53 1997 +0100
+++ b/build	Tue Mar 11 16:39:20 1997 +0100
@@ -4,26 +4,37 @@
 #
 # build - compile parts of the Isabelle system
 
+## args
 
-LOGICS="Pure $*"
-
-ISATOOL=$PWD/bin/isatool
+LOGICS="$*"
 
 
-## tell the user about current settings
+## settings
+
+PRG=$(basename $0)
 
-FILES=./etc/settings
+ISABELLE_HOME=$(dirname $0)
+. $ISABELLE_HOME/lib/scripts/getsettings || \
+  { echo "$PRG probably not called from its original place!"; exit 2 }
 
-USER_SETTINGS=$($ISATOOL getenv -b ISABELLE_HOME_USER)/etc/settings
-[ -f $USER_SETTINGS ] && FILES="$FILES and $USER_SETTINGS"
+
+## tell the user about current values
 
 echo
-echo "Please check $FILES"
+echo "Please check $ISABELLE_HOME/etc/settings"
+[ -f $ISABELLE_HOME_USER/etc/settings ] && echo "AND $ISABELLE_HOME_USER/etc/settings"
 echo "to make sure that Isabelle's ML system settings are appropriate."
 echo "Your current values are:"
 echo
 
-$ISATOOL getenv ML_SYSTEM ML_HOME ML_OPTIONS
+echo "ML_SYSTEM=$ML_SYSTEM"
+echo "ML_HOME=$ML_HOME"
+echo "ML_OPTIONS=$ML_OPTIONS"
+
+
+## build it
+
+LOGICS="Pure $DEFAULT_LOGIC $LOGICS"
 
 echo
 echo
@@ -31,11 +42,9 @@
 read
 
 
-## build it
-
 export THIS_IS_ISABELLE_BUILD=true
 
 for DIR in $LOGICS
 do
-  ( cd src/$DIR; $ISATOOL make)
+  ( cd $ISABELLE_HOME/src/$DIR; $ISATOOL make)
 done