Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
switch poly to 5.1, removed -e flag from most sessions
authorkleing
Wed, 05 Dec 2007 04:34:15 +0100
changeset 25532 27f6771ae8fb
parent 25531 54e1f90beeb7
child 25533 0140cc7b26ad
switch poly to 5.1, removed -e flag from most sessions
Admin/isatest/isatest-makedist file | annotate | diff | comparison | revisions
Admin/isatest/settings/at64-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-makedist	Wed Dec 05 04:30:58 2007 +0100
+++ b/Admin/isatest/isatest-makedist	Wed Dec 05 04:34:15 2007 +0100
@@ -97,21 +97,21 @@
 $SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly"
 # give test some time to copy settings and start
 sleep 5
-$SSH atbroy51 "$MAKEALL $HOME/settings/at-poly $HOME/settings/at-poly-e"
+$SSH atbroy51 "$MAKEALL $HOME/settings/at-poly"
 sleep 5
 $SSH atbroy9 "$MAKEALL $HOME/settings/at-poly-5.1-para-e"
 sleep 5
 $SSH atbroy100 "$MAKEALL -l HOL proofterms $HOME/settings/at-sml-dev-p"
 sleep 5
-$SSH atbroy99 "$MAKEALL $HOME/settings/at64-poly-5.1-para-e"
+$SSH atbroy99 "$MAKEALL $HOME/settings/at64-poly-5.1-para"
 sleep 5
 $SSH atbroy98 "$MAKEALL $HOME/settings/at-sml-dev"
 sleep 5
-$SSH atbroy101 "$MAKEALL $HOME/settings/at64-poly-e"
+$SSH atbroy101 "$MAKEALL $HOME/settings/at64-poly"
 sleep 5
 $SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly $HOME/settings/mac-sml-dev"
 sleep 5
-$SSH macbroy6 "/usr/stud/isatest/bin/isatest-makeall $HOME/settings/at-mac-poly-5.1-para-e"
+$SSH macbroy6 "/usr/stud/isatest/bin/isatest-makeall $HOME/settings/at-mac-poly-5.1-para"
 sleep 5
 $SSH atbroy51 "$HOME/admin/isatest/isatest-annomaly"
 
--- a/Admin/isatest/settings/at64-poly	Wed Dec 05 04:30:58 2007 +0100
+++ b/Admin/isatest/settings/at64-poly	Wed Dec 05 04:34:15 2007 +0100
@@ -1,7 +1,7 @@
 # -*- shell-script -*-
 
-  POLYML_HOME="/usr/proj/polyml/polyml-5.0"
-  ML_SYSTEM="polyml-5.0"
+  POLYML_HOME="/usr/proj/polyml/polyml-5.1"
+  ML_SYSTEM="polyml-5.1"
   ML_PLATFORM="x86_64-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="-H 500"
--- a/Admin/isatest/settings/mac-poly	Wed Dec 05 04:30:58 2007 +0100
+++ b/Admin/isatest/settings/mac-poly	Wed Dec 05 04:34:15 2007 +0100
@@ -1,7 +1,7 @@
 # -*- shell-script -*-
 
-  POLYML_HOME="/usr/proj/polyml/polyml-5.0"
-  ML_SYSTEM="polyml-5.0"
+  POLYML_HOME="/usr/proj/polyml/polyml-5.1"
+  ML_SYSTEM="polyml-5.1"
   ML_PLATFORM="ppc-darwin"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="-H 500"
isabelle