equal
deleted
inserted
replaced
2 # |
2 # |
3 # Author: Makarius |
3 # Author: Makarius |
4 # |
4 # |
5 # Main Isabelle application wrapper. |
5 # Main Isabelle application wrapper. |
6 |
6 |
|
7 # dereference executable |
7 if [ -L "$0" ]; then |
8 if [ -L "$0" ]; then |
8 TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')" |
9 TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')" |
9 exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@" |
10 exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@" |
10 fi |
11 fi |
11 |
12 |
12 |
13 |
13 ## settings |
14 # minimal Isabelle environment |
14 |
|
15 PRG="$(basename "$0")" |
|
16 |
15 |
17 ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)" |
16 ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)" |
18 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2 |
17 source "$ISABELLE_HOME/lib/scripts/isabelle-platform" |
19 |
18 |
20 |
19 |
21 ## main |
20 # main |
22 |
21 |
23 declare -a JAVA_ARGS |
22 declare -a JAVA_ARGS |
24 JAVA_ARGS=({JAVA_ARGS}) |
23 JAVA_ARGS=({JAVA_ARGS}) |
25 |
24 |
26 exec "$ISABELLE_HOME/bin/isabelle" java "${JAVA_ARGS[@]}" \ |
25 exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/bin/java" \ |
27 -classpath "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" isabelle.Main "$@" |
26 -classpath "$ISABELLE_HOME/lib/classes/ext/Pure.jar:$ISABELLE_HOME/lib/classes/ext/scala-compiler.jar:$ISABELLE_HOME/lib/classes/ext/scala-library.jar:$ISABELLE_HOME/lib/classes/ext/scala-swing.jar:$ISABELLE_HOME/lib/classes/ext/scala-actors.jar:$ISABELLE_HOME/lib/classes/ext/scala-reflect.jar:$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" \ |
|
27 "${JAVA_ARGS[@]}" "-Disabelle.home=$ISABELLE_HOME" \ |
|
28 isabelle.Main "$@" |
28 |
29 |