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/polyml/settings
changeset 67099 3345d53e7c58
parent 67017 ce6454669360
child 67581 30f412d1d7c3 
--- a/Admin/polyml/settings	Mon Nov 27 16:07:49 2017 +0100
+++ b/Admin/polyml/settings	Mon Nov 27 15:10:50 2017 +0100
@@ -48,20 +48,16 @@
 
       case "$ML_PLATFORM" in
         x86_64-windows)
-          POLYML_EXE="$ML_HOME/poly.exe"
-          ML_OPTIONS="--minheap 2000 --codepage utf8"
-          ;;
-        x86-windows)
-          POLYML_EXE="$ML_HOME/poly.exe"
           ML_OPTIONS="--minheap 1000 --codepage utf8"
           ;;
+        x86-windows)
+          ML_OPTIONS="--minheap 500 --codepage utf8"
+          ;;
         x86_64-*)
-          POLYML_EXE="$ML_HOME/poly"
-          ML_OPTIONS="--minheap 2000"
+          ML_OPTIONS="--minheap 1000"
           ;;
         *)
-          POLYML_EXE="$ML_HOME/poly"
-          ML_OPTIONS="--minheap 1000"
+          ML_OPTIONS="--minheap 500"
           ;;
       esac
isabelle