equal
deleted
inserted
replaced
2 # $Id$ |
2 # $Id$ |
3 # |
3 # |
4 # getsettings - bash source script to augment current env. |
4 # getsettings - bash source script to augment current env. |
5 # |
5 # |
6 |
6 |
|
7 set -o allexport |
|
8 |
7 #normalize ISABELLE_HOME as passed by caller |
9 #normalize ISABELLE_HOME as passed by caller |
8 export ISABELLE_HOME |
|
9 ISABELLE_HOME=$(cd $ISABELLE_HOME; echo $PWD) |
10 ISABELLE_HOME=$(cd $ISABELLE_HOME; echo $PWD) |
10 |
11 |
11 |
12 #main executables |
12 set -o allexport |
13 ISABELLE=$ISABELLE_HOME/bin/isabelle |
|
14 ISATOOL=$ISABELLE_HOME/bin/isatool |
13 |
15 |
14 #users tend to put strange things in here ... |
16 #users tend to put strange things in here ... |
15 unset ENV |
17 unset ENV |
16 unset BASH_ENV |
18 unset BASH_ENV |
17 |
19 |
18 #get actual settings |
20 #get actual settings |
19 . $ISABELLE_HOME/etc/settings || exit 2 |
21 . $ISABELLE_HOME/etc/settings || exit 2 |
20 [ -f $ISABELLE_HOME_USER/etc/settings ] && . $ISABELLE_HOME_USER/etc/settings |
22 [ -f $ISABELLE_HOME_USER/etc/settings ] && . $ISABELLE_HOME_USER/etc/settings |
21 |
23 |
22 #derived values |
|
23 ISABELLE=$ISABELLE_HOME/bin/isabelle |
|
24 ISATOOL=$ISABELLE_HOME/bin/isatool |
|
25 |
|
26 #append ML system to paths |
24 #append ML system to paths |
27 ISABELLE_OUTPUT="$ISABELLE_OUTPUT/$ML_SYSTEM" |
25 ISABELLE_OUTPUT="$ISABELLE_OUTPUT/$ML_SYSTEM" |
28 ISABELLE_PATH=$(for DIR in $(echo $ISABELLE_PATH | tr : " "); do echo $DIR/$ML_SYSTEM; done) |
26 ISABELLE_PATH=$(for DIR in $(echo $ISABELLE_PATH | tr : " "); do echo $DIR/$ML_SYSTEM; done) |
29 ISABELLE_PATH=$(echo $ISABELLE_PATH | tr " " :) |
27 ISABELLE_PATH=$(echo $ISABELLE_PATH | tr " " :) |
30 |
28 |