afford more heap;
authorwenzelm
Sun Dec 21 16:27:22 2014 +0100 (2014-12-21)
changeset 59168a5094641da6a
parent 59167 c484992c813a
child 59169 ddc948e4ed09
afford more heap;
Admin/isatest/settings/at64-poly
     1.1 --- a/Admin/isatest/settings/at64-poly	Sun Dec 21 16:26:22 2014 +0100
     1.2 +++ b/Admin/isatest/settings/at64-poly	Sun Dec 21 16:27:22 2014 +0100
     1.3 @@ -6,7 +6,7 @@
     1.4    ML_SYSTEM="polyml-5.5.2"
     1.5    ML_PLATFORM="x86_64-linux"
     1.6    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
     1.7 -  ML_OPTIONS="--minheap 1000 --maxheap 3000 --gcthreads 1"
     1.8 +  ML_OPTIONS="--minheap 2000 --maxheap 8000 --gcthreads 1"
     1.9  
    1.10  ISABELLE_HOME_USER=~/isabelle-at64-poly
    1.11