equal
deleted
inserted
replaced
2 # |
2 # |
3 # Author: Makarius |
3 # Author: Makarius |
4 # |
4 # |
5 # Main Isabelle application script. |
5 # Main Isabelle application script. |
6 |
6 |
7 # dereference executable |
|
8 if [ -L "$0" ]; then |
|
9 TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')" |
|
10 exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@" |
|
11 fi |
|
12 |
|
13 |
|
14 # minimal Isabelle environment |
7 # minimal Isabelle environment |
15 |
8 |
16 ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)" |
9 ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)/../.."; pwd)" |
17 source "$ISABELLE_HOME/lib/scripts/isabelle-platform" |
10 source "$ISABELLE_HOME/lib/scripts/isabelle-platform" |
18 |
11 |
19 |
12 |
20 # Java runtime options |
13 # Java runtime options |
21 |
14 |