# HG changeset patch
# User wenzelm
# Date 1325074407 -3600
# Node ID ae721b158a79398450bb462722a805d6c7f1e306
# Parent  484ef66bc3a1e3bf988fdc465190e8c7d6acc640
discontinued broken macbroy5 and thus the obsolete ppc-darwin platform;

diff -r 484ef66bc3a1 -r ae721b158a79 Admin/isatest/isatest-makeall
--- a/Admin/isatest/isatest-makeall	Wed Dec 28 13:08:18 2011 +0100
+++ b/Admin/isatest/isatest-makeall	Wed Dec 28 13:13:27 2011 +0100
@@ -74,11 +74,6 @@
         NICE=""
         ;;
 
-    macbroy5)
-        MFLAGS="-k -j 2"
-        NICE=""
-        ;;
-
     macbroy6)
         MFLAGS="-k"
         NICE=""
diff -r 484ef66bc3a1 -r ae721b158a79 Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Wed Dec 28 13:08:18 2011 +0100
+++ b/Admin/isatest/isatest-makedist	Wed Dec 28 13:13:27 2011 +0100
@@ -113,8 +113,6 @@
   $MAKEALL $HOME/settings/mac-poly-M4;
   $MAKEALL $HOME/settings/mac-poly-M8"
 sleep 15
-$SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly"
-sleep 15
 $SSH macbroy6 "$MAKEALL $HOME/settings/mac-poly64-M2"
 sleep 15
 $SSH macbroy30 "sleep 10800; $MAKEALL $HOME/settings/mac-poly-M2"
diff -r 484ef66bc3a1 -r ae721b158a79 Admin/isatest/settings/mac-poly
--- a/Admin/isatest/settings/mac-poly	Wed Dec 28 13:08:18 2011 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,27 +0,0 @@
-# -*- shell-script -*- :mode=shellscript:
-
-  POLYML_HOME="/home/polyml/polyml-5.2.1"
-  ML_SYSTEM="polyml-5.2.1"
-  ML_PLATFORM="ppc-darwin"
-  ML_HOME="$POLYML_HOME/$ML_PLATFORM"
-  ML_OPTIONS="-H 500"
-
-ISABELLE_HOME_USER=~/isabelle-mac-poly
-
-# Where to look for isabelle tools (multiple dirs separated by ':').
-ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
-
-# Location for temporary files (should be on a local file system).
-ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
-
-
-# Heap input locations. ML system identifier is included in lookup.
-ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
-
-# Heap output location. ML system identifier is appended automatically later on.
-ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
-ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-
-ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -g false"
-
-init_component "$HOME/contrib_devel/kodkodi"