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