clarified ISABELLE_BUILD_JAVA_OPTIONS;
authorwenzelm
Tue Sep 08 11:44:15 2015 +0200 (2015-09-08 ago)
changeset 6113183459eb76fe3
parent 61130 8e736ce4c6f4
child 61132 70029aae9a9f
clarified ISABELLE_BUILD_JAVA_OPTIONS;
etc/settings
lib/Tools/build
     1.1 --- a/etc/settings	Sun Sep 06 22:14:52 2015 +0200
     1.2 +++ b/etc/settings	Tue Sep 08 11:44:15 2015 +0200
     1.3 @@ -38,7 +38,15 @@
     1.4  ###
     1.5  
     1.6  ISABELLE_BUILD_OPTIONS=""
     1.7 -ISABELLE_BUILD_JAVA_OPTIONS="-Djava.awt.headless=true -Xmx1024m -Xss1m"
     1.8 +
     1.9 +case "$ISABELLE_JAVA_PLATFORM" in
    1.10 +  x86_64-*)
    1.11 +    ISABELLE_BUILD_JAVA_OPTIONS="-Djava.awt.headless=true -Xms128m -Xmx1024m -Xss1m"
    1.12 +    ;;
    1.13 +  *)
    1.14 +    ISABELLE_BUILD_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4096m -Xss4m"
    1.15 +    ;;
    1.16 +esac
    1.17  
    1.18  
    1.19  ###
     2.1 --- a/lib/Tools/build	Sun Sep 06 22:14:52 2015 +0200
     2.2 +++ b/lib/Tools/build	Tue Sep 08 11:44:15 2015 +0200
     2.3 @@ -14,6 +14,8 @@
     2.4    local PREFIX="$1"
     2.5    echo "${PREFIX}ISABELLE_BUILD_OPTIONS=\"$ISABELLE_BUILD_OPTIONS\""
     2.6    echo
     2.7 +  echo "${PREFIX}ISABELLE_BUILD_JAVA_OPTIONS=\"$ISABELLE_BUILD_JAVA_OPTIONS\""
     2.8 +  echo
     2.9    echo "${PREFIX}ML_PLATFORM=\"$ML_PLATFORM\""
    2.10    echo "${PREFIX}ML_HOME=\"$ML_HOME\""
    2.11    echo "${PREFIX}ML_SYSTEM=\"$ML_SYSTEM\""