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.
clarified ISABELLE_BUILD_JAVA_OPTIONS;
authorwenzelm
Tue, 08 Sep 2015 11:44:15 +0200
changeset 61131 83459eb76fe3
parent 61130 8e736ce4c6f4
child 61132 70029aae9a9f
clarified ISABELLE_BUILD_JAVA_OPTIONS;
etc/settings file | annotate | diff | comparison | revisions
lib/Tools/build file | annotate | diff | comparison | revisions 
--- a/etc/settings	Sun Sep 06 22:14:52 2015 +0200
+++ b/etc/settings	Tue Sep 08 11:44:15 2015 +0200
@@ -38,7 +38,15 @@
 ###
 
 ISABELLE_BUILD_OPTIONS=""
-ISABELLE_BUILD_JAVA_OPTIONS="-Djava.awt.headless=true -Xmx1024m -Xss1m"
+
+case "$ISABELLE_JAVA_PLATFORM" in
+  x86_64-*)
+    ISABELLE_BUILD_JAVA_OPTIONS="-Djava.awt.headless=true -Xms128m -Xmx1024m -Xss1m"
+    ;;
+  *)
+    ISABELLE_BUILD_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4096m -Xss4m"
+    ;;
+esac
 
 
 ###
--- a/lib/Tools/build	Sun Sep 06 22:14:52 2015 +0200
+++ b/lib/Tools/build	Tue Sep 08 11:44:15 2015 +0200
@@ -14,6 +14,8 @@
   local PREFIX="$1"
   echo "${PREFIX}ISABELLE_BUILD_OPTIONS=\"$ISABELLE_BUILD_OPTIONS\""
   echo
+  echo "${PREFIX}ISABELLE_BUILD_JAVA_OPTIONS=\"$ISABELLE_BUILD_JAVA_OPTIONS\""
+  echo
   echo "${PREFIX}ML_PLATFORM=\"$ML_PLATFORM\""
   echo "${PREFIX}ML_HOME=\"$ML_HOME\""
   echo "${PREFIX}ML_SYSTEM=\"$ML_SYSTEM\""
isabelle