changeset 45149 | 22ff7e226946 |
parent 41730 | 14ed42540d22 |
child 46007 | 493d9c4d7ed5 |
--- a/Admin/isatest/settings/at64-poly Sat Oct 15 16:58:37 2011 +0200 +++ b/Admin/isatest/settings/at64-poly Sat Oct 15 17:00:17 2011 +0200 @@ -1,7 +1,7 @@ # -*- shell-script -*- :mode=shellscript: - POLYML_HOME="/home/polyml/polyml-5.2.1" - ML_SYSTEM="polyml-5.2.1" + POLYML_HOME="/home/polyml/polyml-5.4.1" + ML_SYSTEM="polyml-5.4.1" ML_PLATFORM="x86_64-linux" ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="-H 1000"