#!/usr/bin/env bash
#
# Author: Makarius
#
# Main Isabelle application script.
# dereference executable
if [ -L "$0" ]; then
TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
fi
# minimal Isabelle environment
ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
# Java runtime options
ISABELLE_NAME="$(basename "$0" .run)"
declare -a JAVA_OPTIONS=($(perl -p -e 's,#.*$,,g;' "$ISABELLE_HOME/${ISABELLE_NAME}.options"))
# main
#paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
unset XMODIFIERS
exec "$ISABELLE_HOME/contrib/jdk/x86_64-linux/jre/bin/java" \
"-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \
-classpath "{CLASSPATH}" \
"-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \
isabelle.Main "$@"