--- a/Admin/Linux/Isabelle Wed Sep 11 20:34:45 2013 +0200
+++ b/Admin/Linux/Isabelle Wed Sep 11 21:40:03 2013 +0200
@@ -4,25 +4,26 @@
#
# Main Isabelle application wrapper.
+# 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
-## settings
-
-PRG="$(basename "$0")"
+# minimal Isabelle environment
ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
-source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
+source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
-## main
+# main
declare -a JAVA_ARGS
JAVA_ARGS=({JAVA_ARGS})
-exec "$ISABELLE_HOME/bin/isabelle" java "${JAVA_ARGS[@]}" \
- -classpath "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" isabelle.Main "$@"
+exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/bin/java" \
+ -classpath "$ISABELLE_HOME/lib/classes/ext/Pure.jar:$ISABELLE_HOME/lib/classes/ext/scala-compiler.jar:$ISABELLE_HOME/lib/classes/ext/scala-library.jar:$ISABELLE_HOME/lib/classes/ext/scala-swing.jar:$ISABELLE_HOME/lib/classes/ext/scala-actors.jar:$ISABELLE_HOME/lib/classes/ext/scala-reflect.jar:$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" \
+ "${JAVA_ARGS[@]}" "-Disabelle.home=$ISABELLE_HOME" \
+ isabelle.Main "$@"