# HG changeset patch
# User wenzelm
# Date 1378928403 -7200
# Node ID 3cffcc303fc0c1a3c2dfc505351210fb2cc34d11
# Parent  e7b77b2174910104d017aee5293ffa8d1777d605
cold-start of main application even on Linux;

diff -r e7b77b217491 -r 3cffcc303fc0 Admin/Linux/Isabelle
--- 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 "$@"