prefer recent polyml-5.4.1, but retain potentially fragile polyml-5.2.1 as experimental test;
authorwenzelm
Sat Oct 15 17:00:17 2011 +0200 (2011-10-15 ago)
changeset 4514922ff7e226946
parent 45148 33f0c4a1d25b
child 45150 cf6a5de94bfc
prefer recent polyml-5.4.1, but retain potentially fragile polyml-5.2.1 as experimental test;
Admin/isatest/isatest-makedist
Admin/isatest/settings/at-poly-e
Admin/isatest/settings/at64-poly
     1.1 --- a/Admin/isatest/isatest-makedist	Sat Oct 15 16:58:37 2011 +0200
     1.2 +++ b/Admin/isatest/isatest-makedist	Sat Oct 15 17:00:17 2011 +0200
     1.3 @@ -101,7 +101,7 @@
     1.4  $SSH macbroy21 "$MAKEALL $HOME/settings/at-poly-test"
     1.5  # give test some time to copy settings and start
     1.6  sleep 15
     1.7 -$SSH macbroy28 "$MAKEALL $HOME/settings/at-poly"
     1.8 +$SSH macbroy28 "$MAKEALL $HOME/settings/at-poly; $MAKEALL $HOME/settings/at-poly-e"
     1.9  sleep 15
    1.10  $SSH macbroy22 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
    1.11  sleep 15
     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/Admin/isatest/settings/at-poly-e	Sat Oct 15 17:00:17 2011 +0200
     2.3 @@ -0,0 +1,27 @@
     2.4 +# -*- shell-script -*- :mode=shellscript:
     2.5 +
     2.6 +  POLYML_HOME="/home/polyml/polyml-5.2.1"
     2.7 +  ML_SYSTEM="polyml-5.2.1"
     2.8 +  ML_PLATFORM="x86-linux"
     2.9 +  ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    2.10 +  ML_OPTIONS="-H 500"
    2.11 +
    2.12 +ISABELLE_HOME_USER=~/isabelle-at-poly-e
    2.13 +
    2.14 +# Where to look for isabelle tools (multiple dirs separated by ':').
    2.15 +ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
    2.16 +
    2.17 +# Location for temporary files (should be on a local file system).
    2.18 +ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
    2.19 +
    2.20 +
    2.21 +# Heap input locations. ML system identifier is included in lookup.
    2.22 +ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    2.23 +
    2.24 +# Heap output location. ML system identifier is appended automatically later on.
    2.25 +ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    2.26 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    2.27 +
    2.28 +ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
    2.29 +
    2.30 +init_component "$HOME/contrib_devel/kodkodi"
     3.1 --- a/Admin/isatest/settings/at64-poly	Sat Oct 15 16:58:37 2011 +0200
     3.2 +++ b/Admin/isatest/settings/at64-poly	Sat Oct 15 17:00:17 2011 +0200
     3.3 @@ -1,7 +1,7 @@
     3.4  # -*- shell-script -*- :mode=shellscript:
     3.5  
     3.6 -  POLYML_HOME="/home/polyml/polyml-5.2.1"
     3.7 -  ML_SYSTEM="polyml-5.2.1"
     3.8 +  POLYML_HOME="/home/polyml/polyml-5.4.1"
     3.9 +  ML_SYSTEM="polyml-5.4.1"
    3.10    ML_PLATFORM="x86_64-linux"
    3.11    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    3.12    ML_OPTIONS="-H 1000"