wneuper@59324: #!/usr/bin/env bash
wneuper@59324: #
wneuper@59324: # Author: Makarius
wneuper@59324: #
wneuper@59324: # Main Isabelle application script.
wneuper@59324: 
wneuper@59324: # dereference executable
wneuper@59324: if [ -L "$0" ]; then
wneuper@59324:   TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
wneuper@59324:   exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
wneuper@59324: fi
wneuper@59324: 
wneuper@59324: 
wneuper@59324: # minimal Isabelle environment
wneuper@59324: 
wneuper@59324: ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
wneuper@59324: source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
wneuper@59324: 
wneuper@59324: 
wneuper@59324: # Java runtime options
wneuper@59324: 
wneuper@59324: ISABELLE_NAME="$(basename "$0" .run)"
wneuper@59324: if [ -z "$ISABELLE_PLATFORM64" ]; then
wneuper@59324:   declare -a JAVA_OPTIONS=($(perl -p -e 's,#.*$,,g;' "$ISABELLE_HOME/${ISABELLE_NAME}.options32"))
wneuper@59324: else
wneuper@59324:   declare -a JAVA_OPTIONS=($(perl -p -e 's,#.*$,,g;' "$ISABELLE_HOME/${ISABELLE_NAME}.options64"))
wneuper@59324: fi
wneuper@59324: 
wneuper@59324: 
wneuper@59324: # main
wneuper@59324: 
wneuper@59324: #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
wneuper@59324: unset XMODIFIERS
wneuper@59324: 
wneuper@59324: exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/jre/bin/java" \
wneuper@59324:   "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \
wneuper@59324:   -classpath "$ISABELLE_HOME/lib/classes/Pure.jar:$ISABELLE_HOME/contrib/jfreechart-1.0.14-1/lib/iText-2.1.5.jar:$ISABELLE_HOME/contrib/jfreechart-1.0.14-1/lib/jcommon-1.0.18.jar:$ISABELLE_HOME/contrib/jfreechart-1.0.14-1/lib/jfreechart-1.0.14.jar:$ISABELLE_HOME/contrib/jortho-1.0-2/jortho.jar:$ISABELLE_HOME/contrib/postgresql-42.1.4/postgresql-42.1.4.jar:$ISABELLE_HOME/contrib/scala-2.12.3/lib/jline-2.14.4.jar:$ISABELLE_HOME/contrib/scala-2.12.3/lib/scala-compiler.jar:$ISABELLE_HOME/contrib/scala-2.12.3/lib/scala-library.jar:$ISABELLE_HOME/contrib/scala-2.12.3/lib/scalap-2.12.3.jar:$ISABELLE_HOME/contrib/scala-2.12.3/lib/scala-parser-combinators_2.12-1.0.6.jar:$ISABELLE_HOME/contrib/scala-2.12.3/lib/scala-reflect.jar:$ISABELLE_HOME/contrib/scala-2.12.3/lib/scala-swing_2.12-2.0.0.jar:$ISABELLE_HOME/contrib/scala-2.12.3/lib/scala-xml_2.12-1.0.6.jar:$ISABELLE_HOME/contrib/ssh-java-20161009/lib/jsch-0.1.54.jar:$ISABELLE_HOME/contrib/ssh-java-20161009/lib/jzlib-1.1.3.jar:$ISABELLE_HOME/contrib/ssh-java-20161009/lib/jce.jar:$ISABELLE_HOME/contrib/sqlite-jdbc-3.20.0/sqlite-jdbc-3.20.0.jar:$ISABELLE_HOME/contrib/xz-java-1.6/lib/xz.jar:$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" \
wneuper@59324:   "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \
wneuper@59324:   isabelle.Main "$@"