more generous java resources via ISABELLE_BUILD_JAVA_OPTIONS;
authorwenzelm
Tue May 14 12:21:35 2013 +0200 (2013-05-14)
changeset 51977b55f90655328
parent 51976 e5303bd748f2
child 51978 237ee582d663
more generous java resources via ISABELLE_BUILD_JAVA_OPTIONS;
etc/settings
lib/Tools/build
     1.1 --- a/etc/settings	Tue May 14 09:49:03 2013 +0200
     1.2 +++ b/etc/settings	Tue May 14 12:21:35 2013 +0200
     1.3 @@ -32,6 +32,7 @@
     1.4  
     1.5  #cf. isabelle build
     1.6  ISABELLE_BUILD_OPTIONS=""
     1.7 +ISABELLE_BUILD_JAVA_OPTIONS="-Xmx1024m -Xss1m"
     1.8  
     1.9  
    1.10  ###
     2.1 --- a/lib/Tools/build	Tue May 14 09:49:03 2013 +0200
     2.2 +++ b/lib/Tools/build	Tue May 14 12:21:35 2013 +0200
     2.3 @@ -137,9 +137,11 @@
     2.4    echo
     2.5  fi
     2.6  
     2.7 +declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS)"
     2.8 +
     2.9  . "$ISABELLE_HOME/lib/scripts/timestart.bash"
    2.10  
    2.11 -"$ISABELLE_TOOL" java isabelle.Build \
    2.12 +"$ISABELLE_TOOL" java "${JAVA_ARGS[@]}" isabelle.Build \
    2.13    "$REQUIREMENTS" "$ALL_SESSIONS" "$BUILD_HEAP" "$CLEAN_BUILD" "$MAX_JOBS" \
    2.14    "$LIST_FILES" "$NO_BUILD" "$SYSTEM_MODE" "$VERBOSE" \
    2.15    "${SELECT_DIRS[@]}" $'\n' "${INCLUDE_DIRS[@]}" $'\n' \