--- a/Admin/Linux/Isabelle.run Tue Sep 08 13:52:13 2015 +0200
+++ b/Admin/Linux/Isabelle.run Tue Sep 08 15:37:13 2015 +0200
@@ -17,15 +17,23 @@
source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
+# Java runtime options
+
+ISABELLE_NAME="$(basename "$0" .run)"
+if [ -z "$ISABELLE_PLATFORM64" ]; then
+ declare -a JAVA_OPTIONS=($(perl -p -e 's,#.*$,,g;' "$ISABELLE_HOME/${ISABELLE_NAME}.options32"))
+else
+ declare -a JAVA_OPTIONS=($(perl -p -e 's,#.*$,,g;' "$ISABELLE_HOME/${ISABELLE_NAME}.options64"))
+fi
+
+
# main
#paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
unset XMODIFIERS
exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/jre/bin/java" \
- "-Disabelle.home=$ISABELLE_HOME" \
- {JAVA_ARGS} \
+ "-Disabelle.home=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \
-classpath "{CLASSPATH}" \
"-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \
isabelle.Main "$@"
-