equal
deleted
inserted
replaced
5 # |
5 # |
6 # build - compile the Isabelle system and object-logics |
6 # build - compile the Isabelle system and object-logics |
7 |
7 |
8 if [ -L "$0" ]; then |
8 if [ -L "$0" ]; then |
9 TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')" |
9 TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')" |
10 exec "$(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@" |
10 exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@" |
11 fi |
11 fi |
12 |
12 |
13 |
13 |
14 ## global settings |
14 ## global settings |
15 |
15 |
16 ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP HOLCF LCF Sequents" |
16 ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP HOLCF LCF Sequents" |
17 |
17 |
18 |
18 |
19 ## settings |
19 ## settings |
20 |
20 |
|
21 export THIS_IS_ISABELLE_BUILD=true |
|
22 |
21 PRG="$(basename "$0")" |
23 PRG="$(basename "$0")" |
22 |
24 |
23 export THIS_IS_ISABELLE_BUILD=true |
25 ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)" |
24 |
26 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2 |
25 ISABELLE_HOME="$(dirname "$0")" |
|
26 . "$ISABELLE_HOME/lib/scripts/getsettings" || \ |
|
27 { echo "$PRG probably not called from its original place!"; exit 2; } |
|
28 |
27 |
29 |
28 |
30 ## diagnostics |
29 ## diagnostics |
31 |
30 |
32 function usage() |
31 function usage() |