author | wenzelm |
Sun, 21 Dec 2014 16:27:22 +0100 | |
changeset 59168 | a5094641da6a |
parent 59167 | c484992c813a |
child 59169 | ddc948e4ed09 |
--- a/Admin/isatest/settings/at64-poly Sun Dec 21 16:26:22 2014 +0100 +++ b/Admin/isatest/settings/at64-poly Sun Dec 21 16:27:22 2014 +0100 @@ -6,7 +6,7 @@ ML_SYSTEM="polyml-5.5.2" ML_PLATFORM="x86_64-linux" ML_HOME="$POLYML_HOME/$ML_PLATFORM" - ML_OPTIONS="--minheap 1000 --maxheap 3000 --gcthreads 1" + ML_OPTIONS="--minheap 2000 --maxheap 8000 --gcthreads 1" ISABELLE_HOME_USER=~/isabelle-at64-poly