--- a/lib/scripts/getsettings Wed May 14 18:37:03 1997 +0200
+++ b/lib/scripts/getsettings Wed May 14 18:38:15 1997 +0200
@@ -4,12 +4,14 @@
# getsettings - bash source script to augment current env.
#
+set -o allexport
+
#normalize ISABELLE_HOME as passed by caller
-export ISABELLE_HOME
ISABELLE_HOME=$(cd $ISABELLE_HOME; echo $PWD)
-
-set -o allexport
+#main executables
+ISABELLE=$ISABELLE_HOME/bin/isabelle
+ISATOOL=$ISABELLE_HOME/bin/isatool
#users tend to put strange things in here ...
unset ENV
@@ -19,10 +21,6 @@
. $ISABELLE_HOME/etc/settings || exit 2
[ -f $ISABELLE_HOME_USER/etc/settings ] && . $ISABELLE_HOME_USER/etc/settings
-#derived values
-ISABELLE=$ISABELLE_HOME/bin/isabelle
-ISATOOL=$ISABELLE_HOME/bin/isatool
-
#append ML system to paths
ISABELLE_OUTPUT="$ISABELLE_OUTPUT/$ML_SYSTEM"
ISABELLE_PATH=$(for DIR in $(echo $ISABELLE_PATH | tr : " "); do echo $DIR/$ML_SYSTEM; done)