--- a/Admin/polyml/settings Mon Nov 06 17:21:32 2017 +0100
+++ b/Admin/polyml/settings Tue Nov 07 10:22:10 2017 +0100
@@ -49,19 +49,19 @@
case "$ML_PLATFORM" in
x86_64-windows)
POLYML_EXE="$ML_HOME/poly.exe"
- ML_OPTIONS="-H 1000 --codepage utf8"
+ ML_OPTIONS="--minheap 2000 --codepage utf8"
;;
x86-windows)
POLYML_EXE="$ML_HOME/poly.exe"
- ML_OPTIONS="-H 500 --codepage utf8"
+ ML_OPTIONS="--minheap 1000 --codepage utf8"
;;
x86_64-*)
POLYML_EXE="$ML_HOME/poly"
- ML_OPTIONS="-H 1000"
+ ML_OPTIONS="--minheap 2000"
;;
*)
POLYML_EXE="$ML_HOME/poly"
- ML_OPTIONS="-H 500"
+ ML_OPTIONS="--minheap 1000"
;;
esac