# HG changeset patch
# User wenzelm
# Date 1325074098 -3600
# Node ID 484ef66bc3a1e3bf988fdc465190e8c7d6acc640
# Parent  c0fe5e8e48641a75b3cc0d855b9f94bce4b6b4a7
more selective target "full" -- avoid failure of HOL-Datatype_Benchmark on 32bit platforms;

diff -r c0fe5e8e4864 -r 484ef66bc3a1 Admin/isatest/isatest-makeall
--- a/Admin/isatest/isatest-makeall	Wed Dec 28 13:00:51 2011 +0100
+++ b/Admin/isatest/isatest-makeall	Wed Dec 28 13:08:18 2011 +0100
@@ -71,7 +71,6 @@
   
     macbroy2)
         MFLAGS="-k"
-        TARGETS=full
         NICE=""
         ;;
 
@@ -102,7 +101,6 @@
 
     macbroy30)
         MFLAGS="-k"
-        TARGETS=full
         NICE=""
         ;;
 
@@ -124,8 +122,13 @@
   TARGETS="$2"
   shift 2
   ISABELLE_HOME="$($ISABELLE_TOOL getenv -b ISABELLE_HOME)"
-  DIR="$ISABELLE_HOME/src/$LOGIC"
-  TOOL="$ISABELLE_TOOL make $MFLAGS $TARGETS"
+  if [ "$LOGIC" = "." ]; then
+    DIR="."
+    TOOL="$ISABELLE_TOOL makeall $MFLAGS $TARGETS"
+  else
+    DIR="$ISABELLE_HOME/src/$LOGIC"
+    TOOL="$ISABELLE_TOOL make $MFLAGS $TARGETS"
+  fi
 else
   DIR="."
   TOOL="$ISABELLE_TOOL makeall $MFLAGS $TARGETS"
diff -r c0fe5e8e4864 -r 484ef66bc3a1 Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Wed Dec 28 13:00:51 2011 +0100
+++ b/Admin/isatest/isatest-makedist	Wed Dec 28 13:08:18 2011 +0100
@@ -107,7 +107,11 @@
 sleep 15
 $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly"
 sleep 15
-$SSH macbroy2 "$MAKEALL $HOME/settings/mac-poly64-M4; $MAKEALL $HOME/settings/mac-poly64-M8; $MAKEALL $HOME/settings/mac-poly-M4; $MAKEALL $HOME/settings/mac-poly-M8"
+$SSH macbroy2 "
+  $MAKEALL $HOME/settings/mac-poly64-M4 -l . full;
+  $MAKEALL $HOME/settings/mac-poly64-M8 -l . full;
+  $MAKEALL $HOME/settings/mac-poly-M4;
+  $MAKEALL $HOME/settings/mac-poly-M8"
 sleep 15
 $SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly"
 sleep 15