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.
more generous java resources via ISABELLE_BUILD_JAVA_OPTIONS;
authorwenzelm
Tue, 14 May 2013 12:21:35 +0200
changeset 51977 b55f90655328
parent 51976 e5303bd748f2
child 51978 237ee582d663
more generous java resources via ISABELLE_BUILD_JAVA_OPTIONS;
etc/settings file | annotate | diff | comparison | revisions
lib/Tools/build file | annotate | diff | comparison | revisions 
--- a/etc/settings	Tue May 14 09:49:03 2013 +0200
+++ b/etc/settings	Tue May 14 12:21:35 2013 +0200
@@ -32,6 +32,7 @@
 
 #cf. isabelle build
 ISABELLE_BUILD_OPTIONS=""
+ISABELLE_BUILD_JAVA_OPTIONS="-Xmx1024m -Xss1m"
 
 
 ###
--- a/lib/Tools/build	Tue May 14 09:49:03 2013 +0200
+++ b/lib/Tools/build	Tue May 14 12:21:35 2013 +0200
@@ -137,9 +137,11 @@
   echo
 fi
 
+declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS)"
+
 . "$ISABELLE_HOME/lib/scripts/timestart.bash"
 
-"$ISABELLE_TOOL" java isabelle.Build \
+"$ISABELLE_TOOL" java "${JAVA_ARGS[@]}" isabelle.Build \
   "$REQUIREMENTS" "$ALL_SESSIONS" "$BUILD_HEAP" "$CLEAN_BUILD" "$MAX_JOBS" \
   "$LIST_FILES" "$NO_BUILD" "$SYSTEM_MODE" "$VERBOSE" \
   "${SELECT_DIRS[@]}" $'\n' "${INCLUDE_DIRS[@]}" $'\n' \
isabelle