Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/isatest/settings/mac-poly-M4
changeset 62455 2026ef279d1e
parent 62288 8bbbe07cd0ee 
--- a/Admin/isatest/settings/mac-poly-M4	Sun Feb 28 17:40:01 2016 +0100
+++ b/Admin/isatest/settings/mac-poly-M4	Sun Feb 28 19:54:18 2016 +0100
@@ -1,10 +1,12 @@
 # -*- shell-script -*- :mode=shellscript:
 
 init_components /home/isabelle/contrib "$HOME/admin/components/main"
+init_components /home/isabelle/contrib "$HOME/admin/components/optional"
+init_components /home/isabelle/contrib "$HOME/admin/components/nonfree"
 
 ML_PLATFORM="$ISABELLE_PLATFORM32"
 ML_HOME="$POLYML_HOME/$ML_PLATFORM"
-ML_OPTIONS="-H 500 --gcthreads 4"
+ML_OPTIONS="-H 1000 --gcthreads 4"
 
 ISABELLE_HOME_USER=~/isabelle-mac-poly-M4
isabelle