# 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"