changeset 49934 | 6f7985a42889 |
parent 49855 | b3110dec1a32 |
child 50285 | f25bcb8a4591 |
--- a/Admin/isatest/settings/mac-poly64-M8 Thu Oct 18 20:45:15 2012 +0200 +++ b/Admin/isatest/settings/mac-poly64-M8 Thu Oct 18 20:59:46 2012 +0200 @@ -2,8 +2,8 @@ init_components /home/isabelle/contrib "$HOME/admin/components/main" - POLYML_HOME="/home/polyml/polyml-5.5.0" - ML_SYSTEM="polyml-5.5.0" + POLYML_HOME="/home/polyml/polyml-5.4.1" + ML_SYSTEM="polyml-5.4.1" ML_PLATFORM="x86_64-darwin" ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="-H 2000 --gcthreads 8"