lib/scripts/getsettings
changeset 62416 cb6c4e307b1c
parent 62414 1abd90afe387
child 62588 cd266473b81b
     1.1 --- a/lib/scripts/getsettings	Thu Feb 25 19:08:48 2016 +0100
     1.2 +++ b/lib/scripts/getsettings	Thu Feb 25 19:22:13 2016 +0100
     1.3 @@ -4,14 +4,17 @@
     1.4  #
     1.5  # Static Isabelle environment for root of process tree.
     1.6  
     1.7 +export ISABELLE_HOME
     1.8 +
     1.9 +export BASH_ENV="$ISABELLE_HOME/lib/scripts/getfunctions"
    1.10 +source "$BASH_ENV"
    1.11 +
    1.12 +
    1.13  if [ -z "$ISABELLE_SETTINGS_PRESENT" ]
    1.14  then
    1.15  
    1.16  export ISABELLE_SETTINGS_PRESENT=true
    1.17  
    1.18 -export BASH_ENV="$ISABELLE_HOME/lib/scripts/getfunctions"
    1.19 -source "$BASH_ENV"
    1.20 -
    1.21  set -o allexport
    1.22  
    1.23  #sane environment defaults (notably on Mac OS X)
    1.24 @@ -50,8 +53,6 @@
    1.25    unset CLASSPATH
    1.26  fi
    1.27  
    1.28 -export ISABELLE_HOME
    1.29 -
    1.30  #main executables
    1.31  ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
    1.32  ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle_process"