changeset 31683 | 7652c87c2db5 |
parent 31316 | 39fe8093b1df |
child 32080 | 0a8b5dfee5a5 |
--- a/Admin/isatest/settings/at-mac-poly-5.1-para Wed Jun 17 11:00:14 2009 +0200 +++ b/Admin/isatest/settings/at-mac-poly-5.1-para Wed Jun 17 15:00:19 2009 +0200 @@ -1,7 +1,7 @@ # -*- shell-script -*- :mode=shellscript: - POLYML_HOME="/home/polyml/polyml-svn" - ML_SYSTEM="polyml-experimental" + POLYML_HOME="/home/polyml/polyml-5.2.1" + ML_SYSTEM="polyml-5.2.1" ML_PLATFORM="x86-darwin" ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="--mutable 800 --immutable 2000"