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.
increase default max heap size for poly to -H 500 (this is what isatest uses,
authorkleing
Mon, 23 Jul 2007 01:17:57 +0200
changeset 23917 8be45ac3bb7b
parent 23916 0f8ad1044527
child 23918 a4abccde0929
increase default max heap size for poly to -H 500 (this is what isatest uses, -H 80 is not enough for HOL on at-mac-poly).
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Sun Jul 22 23:33:57 2007 +0200
+++ b/etc/settings	Mon Jul 23 01:17:57 2007 +0200
@@ -27,7 +27,7 @@
   "/opt/polyml/$ML_PLATFORM" \
   $POLY_HOME)
 ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version")
-ML_OPTIONS="-H 80"
+ML_OPTIONS="-H 500"
 ML_DBASE=""
 
 # Poly/ML 5.0
isabelle