Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper ISABELLE_TOOL_JAVA_OPTIONS (as in "isabelle" wrapper);
authorwenzelm
Tue, 04 Oct 2016 14:39:31 +0200
changeset 64035 90017a182892
parent 64034 51bf28aa18a5
child 64036 a14fe26c0144
proper ISABELLE_TOOL_JAVA_OPTIONS (as in "isabelle" wrapper);
bin/isabelle_java file | annotate | diff | comparison | revisions 
--- a/bin/isabelle_java	Tue Oct 04 14:32:44 2016 +0200
+++ b/bin/isabelle_java	Tue Oct 04 14:39:31 2016 +0200
@@ -14,7 +14,16 @@
 (
   source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
 
-  declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
+  case "$ISABELLE_JAVA_PLATFORM" in
+    x86-*)
+      ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS32"
+      ;;
+    x86_64-*)
+      ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS64"
+      ;;
+  esac
+
+  declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $ISABELLE_TOOL_JAVA_OPTIONS)"
 
   if [ -f "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" ]; then
     classpath "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar"
isabelle