back to polyml-svn, with more threads to avoid problems with HOL-Proofs (see f376f18fd0b7);
authorwenzelm
Sat Mar 08 13:25:56 2014 +0100 (2014-03-08)
changeset 55995ff7ee9c92d54
parent 55994 1c42ebdb3a58
child 55996 13a7d9661ffc
back to polyml-svn, with more threads to avoid problems with HOL-Proofs (see f376f18fd0b7);
Admin/isatest/settings/at-poly-test
     1.1 --- a/Admin/isatest/settings/at-poly-test	Sat Mar 08 12:44:15 2014 +0100
     1.2 +++ b/Admin/isatest/settings/at-poly-test	Sat Mar 08 13:25:56 2014 +0100
     1.3 @@ -2,11 +2,11 @@
     1.4  
     1.5  init_components /home/isabelle/contrib "$HOME/admin/components/main"
     1.6  
     1.7 -  POLYML_HOME="/home/polyml/polyml-5.5.1"
     1.8 -  ML_SYSTEM="polyml-5.5.1"
     1.9 +  POLYML_HOME="/home/polyml/polyml-svn"
    1.10 +  ML_SYSTEM="polyml-5.5.2"
    1.11    ML_PLATFORM="x86-linux"
    1.12    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    1.13 -  ML_OPTIONS="-H 500 --gcthreads 1"
    1.14 +  ML_OPTIONS="-H 500 --gcthreads 4"
    1.15  
    1.16  ISABELLE_HOME_USER=~/isabelle-at-poly-test
    1.17  
    1.18 @@ -24,7 +24,7 @@
    1.19  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    1.20  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    1.21  
    1.22 -ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
    1.23 +ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf threads=4 parallel_proofs=2"
    1.24  
    1.25  ISABELLE_GHC="/usr/bin/ghc"
    1.26  ISABELLE_OCAML="/usr/bin/ocaml"