1#!/usr/bin/env bash 2# 3# Author: Makarius 4# 5# Main Isabelle application script. 6 7# minimal Isabelle environment 8 9ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)/../.."; pwd)" 10source "$ISABELLE_HOME/lib/scripts/isabelle-platform" 11 12 13# Java runtime options 14 15declare -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. 21unset XMODIFIERS 22 23exec "$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 "$@" 28