changeset 48994 | 59ec72d3d0b9 |
parent 48622 | af81dc62a281 |
child 49644 | 2348fedfa076 |
1.1 --- a/Admin/isatest/settings/at-poly Thu May 24 14:46:14 2012 +0200 1.2 +++ b/Admin/isatest/settings/at-poly Thu May 24 15:01:17 2012 +0200 1.3 @@ -1,7 +1,7 @@ 1.4 # -*- shell-script -*- :mode=shellscript: 1.5 1.6 - POLYML_HOME="/home/polyml/polyml-5.2.1" 1.7 - ML_SYSTEM="polyml-5.2.1" 1.8 + POLYML_HOME="/home/polyml/polyml-5.3.0" 1.9 + ML_SYSTEM="polyml-5.3.0" 1.10 ML_PLATFORM="x86-linux" 1.11 ML_HOME="$POLYML_HOME/$ML_PLATFORM" 1.12 ML_OPTIONS="-H 500"