# HG changeset patch
# User wenzelm
# Date 1441705455 -7200
# Node ID 83459eb76fe34b85900321622d51ae00bde4ab5e
# Parent  8e736ce4c6f46c25d97691108de047509c6f25a4
clarified ISABELLE_BUILD_JAVA_OPTIONS;

diff -r 8e736ce4c6f4 -r 83459eb76fe3 etc/settings
--- 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
 
 
 ###
diff -r 8e736ce4c6f4 -r 83459eb76fe3 lib/Tools/build
--- 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\""