# HG changeset patch # User wenzelm # Date 1310832674 -7200 # Node ID e6226e100ac56457d91d503bbdd1f6fcc190c113 # Parent d89353d17f54ff353cca29188940e4110c3efcd1 updated to Poly/ML SVN 1328, which is considered 5.4.2; diff -r d89353d17f54 -r e6226e100ac5 Admin/isatest/settings/at-poly-test --- a/Admin/isatest/settings/at-poly-test Sat Jul 16 17:11:49 2011 +0200 +++ b/Admin/isatest/settings/at-poly-test Sat Jul 16 18:11:14 2011 +0200 @@ -1,7 +1,7 @@ # -*- shell-script -*- :mode=shellscript: POLYML_HOME="/home/polyml/polyml-svn" - ML_SYSTEM="polyml-5.4.1" + ML_SYSTEM="polyml-5.4.2" ML_PLATFORM="x86-linux" ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="-H 500" diff -r d89353d17f54 -r e6226e100ac5 Admin/isatest/settings/cygwin-poly-e --- a/Admin/isatest/settings/cygwin-poly-e Sat Jul 16 17:11:49 2011 +0200 +++ b/Admin/isatest/settings/cygwin-poly-e Sat Jul 16 18:11:14 2011 +0200 @@ -1,7 +1,7 @@ # -*- shell-script -*- :mode=shellscript: POLYML_HOME="/home/isatest/polyml-svn" - ML_SYSTEM="polyml-5.4.1" + ML_SYSTEM="polyml-5.4.2" ML_PLATFORM="x86-cygwin" ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="-H 200" diff -r d89353d17f54 -r e6226e100ac5 Admin/isatest/settings/mac-poly64-M4 --- a/Admin/isatest/settings/mac-poly64-M4 Sat Jul 16 17:11:49 2011 +0200 +++ b/Admin/isatest/settings/mac-poly64-M4 Sat Jul 16 18:11:14 2011 +0200 @@ -1,7 +1,7 @@ # -*- shell-script -*- :mode=shellscript: POLYML_HOME="/home/polyml/polyml-svn" - ML_SYSTEM="polyml-5.4.1" + ML_SYSTEM="polyml-5.4.2" ML_PLATFORM="x86_64-darwin" ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="-H 2000 --gcthreads 4" diff -r d89353d17f54 -r e6226e100ac5 Admin/isatest/settings/mac-poly64-M8 --- a/Admin/isatest/settings/mac-poly64-M8 Sat Jul 16 17:11:49 2011 +0200 +++ b/Admin/isatest/settings/mac-poly64-M8 Sat Jul 16 18:11:14 2011 +0200 @@ -1,7 +1,7 @@ # -*- shell-script -*- :mode=shellscript: POLYML_HOME="/home/polyml/polyml-svn" - ML_SYSTEM="polyml-5.4.1" + ML_SYSTEM="polyml-5.4.2" ML_PLATFORM="x86_64-darwin" ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="-H 2000 --gcthreads 4"