equal
deleted
inserted
replaced
1 #!/usr/bin/env bash |
|
2 # |
|
3 # Author: Makarius |
|
4 # |
|
5 # Main Isabelle application script. |
|
6 |
|
7 # minimal Isabelle environment |
|
8 |
|
9 ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)/../.."; pwd)" |
|
10 source "$ISABELLE_HOME/lib/scripts/isabelle-platform" |
|
11 |
|
12 |
|
13 # Java runtime options |
|
14 |
|
15 declare -a JAVA_OPTIONS=($(perl -p -e 's,#.*$,,g;' "$ISABELLE_HOME/Isabelle.options")) |
|
16 |
|
17 |
|
18 # main |
|
19 |
|
20 #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc. |
|
21 unset XMODIFIERS |
|
22 |
|
23 exec "$ISABELLE_HOME/contrib/jdk/x86_64-linux/jre/bin/java" \ |
|
24 "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \ |
|
25 -classpath "{CLASSPATH}" \ |
|
26 "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \ |
|
27 isabelle.Main "$@" |
|