|
walther@59606
|
1 |
#!/usr/bin/env bash
|
|
walther@59606
|
2 |
#
|
|
walther@59606
|
3 |
# Author: Makarius
|
|
walther@59606
|
4 |
#
|
|
walther@59606
|
5 |
# Main Isabelle application script.
|
|
walther@59606
|
6 |
|
|
walther@59606
|
7 |
# dereference executable
|
|
walther@59606
|
8 |
if [ -L "$0" ]; then
|
|
walther@59606
|
9 |
TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
|
|
walther@59606
|
10 |
exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
|
|
walther@59606
|
11 |
fi
|
|
walther@59606
|
12 |
|
|
walther@59606
|
13 |
|
|
walther@59606
|
14 |
# minimal Isabelle environment
|
|
walther@59606
|
15 |
|
|
walther@59606
|
16 |
ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
|
|
walther@59606
|
17 |
source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
|
|
walther@59606
|
18 |
|
|
walther@59606
|
19 |
|
|
walther@59606
|
20 |
# Java runtime options
|
|
walther@59606
|
21 |
|
|
walther@59606
|
22 |
ISABELLE_NAME="$(basename "$0" .run)"
|
|
walther@59606
|
23 |
declare -a JAVA_OPTIONS=($(perl -p -e 's,#.*$,,g;' "$ISABELLE_HOME/${ISABELLE_NAME}.options"))
|
|
walther@59606
|
24 |
|
|
walther@59606
|
25 |
|
|
walther@59606
|
26 |
# main
|
|
walther@59606
|
27 |
|
|
walther@59606
|
28 |
#paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
|
|
walther@59606
|
29 |
unset XMODIFIERS
|
|
walther@59606
|
30 |
|
|
walther@59606
|
31 |
exec "$ISABELLE_HOME/contrib/jdk-11.0.3+7/x86_64-linux/jre/bin/java" \
|
|
walther@59606
|
32 |
"-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \
|
|
walther@59606
|
33 |
-classpath "$ISABELLE_HOME/"lib/classes/Pure.jar":$ISABELLE_HOME/"contrib/jfreechart-1.5.0/lib/iText-2.1.5.jar":$ISABELLE_HOME/"contrib/jfreechart-1.5.0/lib/jfreechart-1.5.0.jar":$ISABELLE_HOME/"contrib/jortho-1.0-2/jortho.jar":$ISABELLE_HOME/"contrib/postgresql-42.2.5/postgresql-42.2.5.jar":$ISABELLE_HOME/"contrib/scala-2.12.7/lib/jline-2.14.6.jar":$ISABELLE_HOME/"contrib/scala-2.12.7/lib/scala-compiler.jar":$ISABELLE_HOME/"contrib/scala-2.12.7/lib/scala-library.jar":$ISABELLE_HOME/"contrib/scala-2.12.7/lib/scalap-2.12.7.jar":$ISABELLE_HOME/"contrib/scala-2.12.7/lib/scala-parser-combinators_2.12-1.0.7.jar":$ISABELLE_HOME/"contrib/scala-2.12.7/lib/scala-reflect.jar":$ISABELLE_HOME/"contrib/scala-2.12.7/lib/scala-swing_2.12-2.0.3.jar":$ISABELLE_HOME/"contrib/scala-2.12.7/lib/scala-xml_2.12-1.0.6.jar":$ISABELLE_HOME/"contrib/sqlite-jdbc-3.27.2.1/sqlite-jdbc-3.27.2.1.jar":$ISABELLE_HOME/"contrib/ssh-java-20190323/lib/jsch-0.1.55.jar":$ISABELLE_HOME/"contrib/ssh-java-20190323/lib/jzlib-1.1.3.jar":$ISABELLE_HOME/"contrib/ssh-java-20190323/lib/jce.jar":$ISABELLE_HOME/"contrib/xz-java-1.8/lib/xz.jar":$ISABELLE_HOME/"src/Tools/jEdit/dist/jedit.jar"" \
|
|
walther@59606
|
34 |
"-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \
|
|
walther@59606
|
35 |
isabelle.Main "$@"
|