etc/settings
changeset 61131 83459eb76fe3
parent 61027 06ceb6dcdccd
child 61135 8f7d802b7a71
     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  ###