# HG changeset patch # User wenzelm # Date 1303297854 -7200 # Node ID 5a7217f098bd03b96340ee380c378672a6bac05f # Parent 6a2837ddde4b3d6ad7c0f154de35773e448c43f0 migrated macbroy6 to macbroy30, which is the new "mobile" server (2 cores, 4 GB, Mac OS 10.5); diff -r 6a2837ddde4b -r 5a7217f098bd Admin/isatest/isatest-makedist --- a/Admin/isatest/isatest-makedist Wed Apr 20 11:21:12 2011 +0200 +++ b/Admin/isatest/isatest-makedist Wed Apr 20 13:10:54 2011 +0200 @@ -111,7 +111,7 @@ sleep 15 $SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly" sleep 15 -$SSH macbroy6 "sleep 10800; $MAKEALL $HOME/settings/at-mac-poly-5.1-para" +$SSH macbroy30 "sleep 10800; $MAKEALL $HOME/settings/mac-poly-M2" sleep 15 $SSH atbroy102 "$MAKEALL $HOME/settings/cygwin-poly-e" #sleep 15 diff -r 6a2837ddde4b -r 5a7217f098bd Admin/isatest/settings/at-mac-poly-5.1-para --- a/Admin/isatest/settings/at-mac-poly-5.1-para Wed Apr 20 11:21:12 2011 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,27 +0,0 @@ -# -*- shell-script -*- :mode=shellscript: - - POLYML_HOME="/home/polyml/polyml-5.4.0" - ML_SYSTEM="polyml-5.4.0" - ML_PLATFORM="x86-darwin" - ML_HOME="$POLYML_HOME/$ML_PLATFORM" - ML_OPTIONS="--mutable 800 --immutable 2000" - - -ISABELLE_HOME_USER=~/isabelle-at-mac-poly-e - -# 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 false -d false -t true -M 4 -q 2" - diff -r 6a2837ddde4b -r 5a7217f098bd Admin/isatest/settings/mac-poly-M2 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Admin/isatest/settings/mac-poly-M2 Wed Apr 20 13:10:54 2011 +0200 @@ -0,0 +1,29 @@ +# -*- shell-script -*- :mode=shellscript: + + POLYML_HOME="/home/polyml/polyml-5.4.0" + ML_SYSTEM="polyml-5.4.0" + ML_PLATFORM="x86-darwin" + ML_HOME="$POLYML_HOME/$ML_PLATFORM" + ML_OPTIONS="--mutable 500 --immutable 500" + + +ISABELLE_HOME_USER=~/isabelle-at-mac-poly-e + +# 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 false -d false -t true -M 2 -q 2" + +init_component "$HOME/contrib_devel/kodkodi" +