author | kleing |
Wed, 18 Jan 2012 22:09:29 +1100 | |
changeset 46248 | da375b4b7167 |
parent 46247 | e5fe797e9d09 |
child 46249 | 9f39ae84b593 |
--- a/Admin/isatest/settings/afp-poly Wed Jan 18 10:05:23 2012 +0100 +++ b/Admin/isatest/settings/afp-poly Wed Jan 18 22:09:29 2012 +1100 @@ -3,8 +3,8 @@ CONTRIB=~/afp/contrib POLYML_HOME=$CONTRIB/polyml - ML_SYSTEM="polyml-5.4.0" - ML_PLATFORM="x86_64-linux" + ML_SYSTEM="polyml-5.4.1" + ML_PLATFORM="x86-darwin" ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="-H 2000 --gcthreads 4"