# HG changeset patch
# User wenzelm
# Date 1414966411 -3600
# Node ID 0ca19a9fdc6068ee51b77861682c52516e85165d
# Parent  5b7a9633cfa83d5ab16bb5ce4a89c81406cca513
less ambitious isatest: polyml-5.3.0 has problems with big sessions like HOL-Proofs;

diff -r 5b7a9633cfa8 -r 0ca19a9fdc60 Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Sun Nov 02 18:21:45 2014 +0100
+++ b/Admin/isatest/isatest-makedist	Sun Nov 02 23:13:31 2014 +0100
@@ -103,8 +103,8 @@
 $SSH lxbroy10 "$MAKEALL $HOME/settings/at64-poly"
 sleep 15
 $SSH lxbroy4 "
-  $MAKEALL $HOME/settings/at-poly;
-  $MAKEALL $HOME/settings/at-poly-e;
+  $MAKEALL -l HOL-Library $HOME/settings/at-poly;
+  $MAKEALL -l HOL-Library $HOME/settings/at-poly-e;
   $MAKEALL $HOME/settings/at-poly-test"
 sleep 15
 $SSH lxbroy3 "$MAKEALL -l HOL-Library $HOME/settings/at-sml-dev-e"
diff -r 5b7a9633cfa8 -r 0ca19a9fdc60 Admin/isatest/settings/at-poly
--- a/Admin/isatest/settings/at-poly	Sun Nov 02 18:21:45 2014 +0100
+++ b/Admin/isatest/settings/at-poly	Sun Nov 02 23:13:31 2014 +0100
@@ -4,7 +4,7 @@
 
   POLYML_HOME="/home/polyml/polyml-5.3.0"
   ML_SYSTEM="polyml-5.3.0"
-  ML_PLATFORM="x86_64-linux"
+  ML_PLATFORM="x86-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="-H 1000"
 
diff -r 5b7a9633cfa8 -r 0ca19a9fdc60 Admin/isatest/settings/at-poly-e
--- a/Admin/isatest/settings/at-poly-e	Sun Nov 02 18:21:45 2014 +0100
+++ b/Admin/isatest/settings/at-poly-e	Sun Nov 02 23:13:31 2014 +0100
@@ -4,7 +4,7 @@
 
   POLYML_HOME="/home/polyml/polyml-5.3.0"
   ML_SYSTEM="polyml-5.3.0"
-  ML_PLATFORM="x86_64-linux"
+  ML_PLATFORM="x86-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="-H 1000"