equal
deleted
inserted
replaced
1 #!/usr/bin/env bash |
|
2 # |
|
3 # Author: Makarius |
|
4 # |
|
5 # Main Isabelle application script. |
|
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 |
|
15 |
|
16 ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)" |
|
17 source "$ISABELLE_HOME/lib/scripts/isabelle-platform" |
|
18 |
|
19 |
|
20 # main |
|
21 |
|
22 #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc. |
|
23 unset XMODIFIERS |
|
24 |
|
25 exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/bin/java" \ |
|
26 "-Disabelle.home=$ISABELLE_HOME" \ |
|
27 {JAVA_ARGS} \ |
|
28 -classpath "{CLASSPATH}" \ |
|
29 "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \ |
|
30 isabelle.Main "$@" |
|
31 |
|