changeset 56961 | 2ac12a7b1a69 |
parent 53838 | b9285f30a80a |
child 57560 | bc957769b584 |
--- a/Admin/isatest/settings/mac-poly-M8 Wed May 14 12:24:38 2014 +0200 +++ b/Admin/isatest/settings/mac-poly-M8 Wed May 14 13:07:47 2014 +0200 @@ -2,8 +2,8 @@ init_components /home/isabelle/contrib "$HOME/admin/components/main" - POLYML_HOME="/home/polyml/polyml-5.5.1" - ML_SYSTEM="polyml-5.5.1" + POLYML_HOME="/home/polyml/polyml-5.5.2" + ML_SYSTEM="polyml-5.5.2" ML_PLATFORM="x86-darwin" ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="-H 500 --gcthreads 8"