discontinued Sun/Solaris tests;
authorwenzelm
Fri May 28 11:37:38 2010 +0200 (2010-05-28)
changeset 37160d92638c7c38f
parent 37159 07f3f5a03e98
child 37161 1754a1c17426
discontinued Sun/Solaris tests;
Admin/CHECKLIST
Admin/isatest/isatest-makeall
Admin/isatest/isatest-makedist
Admin/isatest/isatest-statistics
Admin/isatest/isatest-stats
Admin/isatest/settings/sun-poly
Admin/isatest/settings/sun-sml
Admin/isatest/settings/sun-sml-dev
     1.1 --- a/Admin/CHECKLIST	Fri May 28 11:23:34 2010 +0200
     1.2 +++ b/Admin/CHECKLIST	Fri May 28 11:37:38 2010 +0200
     1.3 @@ -3,8 +3,6 @@
     1.4  
     1.5  - test polyml-5.3.0, polyml-5.2.1, polyml-5.2, polyml-5.1, polyml-5.0;
     1.6  
     1.7 -- test sparc-solaris, x86-solaris;
     1.8 -
     1.9  - test Proof General;
    1.10  
    1.11  - test Scala wrapper;
     2.1 --- a/Admin/isatest/isatest-makeall	Fri May 28 11:23:34 2010 +0200
     2.2 +++ b/Admin/isatest/isatest-makeall	Fri May 28 11:37:38 2010 +0200
     2.3 @@ -67,16 +67,6 @@
     2.4          MFLAGS="-k -j 2"
     2.5          ;;
     2.6    
     2.7 -    sunbroy2)
     2.8 -        MFLAGS="-k -j 2"
     2.9 -        NICE="nice"
    2.10 -        ;;
    2.11 -
    2.12 -    sunbroy1)
    2.13 -        MFLAGS="-k -j 2"
    2.14 -        NICE="nice"
    2.15 -        ;;
    2.16 -
    2.17      macbroy2)
    2.18          MFLAGS="-k"
    2.19          NICE=""
     3.1 --- a/Admin/isatest/isatest-makedist	Fri May 28 11:23:34 2010 +0200
     3.2 +++ b/Admin/isatest/isatest-makedist	Fri May 28 11:37:38 2010 +0200
     3.3 @@ -113,8 +113,6 @@
     3.4  $SSH atbroy102 "$MAKEALL $HOME/settings/cygwin-poly-e"
     3.5  #sleep 15
     3.6  #$SSH atbroy51 "$HOME/admin/isatest/isatest-annomaly"
     3.7 -#sleep 15
     3.8 -#$SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly"
     3.9  
    3.10  echo ------------------- spawned tests successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1
    3.11  
     4.1 --- a/Admin/isatest/isatest-statistics	Fri May 28 11:23:34 2010 +0200
     4.2 +++ b/Admin/isatest/isatest-statistics	Fri May 28 11:37:38 2010 +0200
     4.3 @@ -51,7 +51,7 @@
     4.4  SESSIONS="$@"
     4.5  
     4.6  case "$PLATFORM" in
     4.7 -  *para* | *-M* | sun-poly)
     4.8 +  *para* | *-M*)
     4.9      PARALLEL=true
    4.10      ;;
    4.11    *)
     5.1 --- a/Admin/isatest/isatest-stats	Fri May 28 11:23:34 2010 +0200
     5.2 +++ b/Admin/isatest/isatest-stats	Fri May 28 11:37:38 2010 +0200
     5.3 @@ -6,7 +6,7 @@
     5.4  
     5.5  THIS=$(cd "$(dirname "$0")"; pwd -P)
     5.6  
     5.7 -PLATFORMS="at-poly at-poly-test at64-poly cygwin-poly mac-poly-M4 mac-poly64-M4 mac-poly-M8 mac-poly64-M8 at-poly-5.1-para-e at64-poly-5.1-para at-mac-poly-5.1-para afp at-sml-dev sun-poly"
     5.8 +PLATFORMS="at-poly at-poly-test at64-poly cygwin-poly mac-poly-M4 mac-poly64-M4 mac-poly-M8 mac-poly64-M8 at-poly-5.1-para-e at64-poly-5.1-para at-mac-poly-5.1-para afp at-sml-dev"
     5.9  
    5.10  ISABELLE_SESSIONS="\
    5.11    HOL-Plain \
     6.1 --- a/Admin/isatest/settings/sun-poly	Fri May 28 11:23:34 2010 +0200
     6.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     6.3 @@ -1,29 +0,0 @@
     6.4 -# -*- shell-script -*- :mode=shellscript:
     6.5 -
     6.6 -  POLYML_HOME="/home/polyml/polyml-5.3.0"
     6.7 -  ML_SYSTEM="polyml-5.3.0"
     6.8 -  ML_PLATFORM="sparc-solaris"
     6.9 -  ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    6.10 -  ML_OPTIONS="-H 1000"
    6.11 -
    6.12 -ISABELLE_HOME_USER=/tmp/isabelle-sun-poly
    6.13 -
    6.14 -# Where to look for isabelle tools (multiple dirs separated by ':').
    6.15 -ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
    6.16 -
    6.17 -# Location for temporary files (should be on a local file system).
    6.18 -ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
    6.19 -
    6.20 -
    6.21 -# Heap input locations. ML system identifier is included in lookup.
    6.22 -ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    6.23 -
    6.24 -# Heap output location. ML system identifier is appended automatically later on.
    6.25 -ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    6.26 -ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    6.27 -
    6.28 -#ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
    6.29 -ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true -M 6 -q 2"
    6.30 -
    6.31 -unset KODKODI
    6.32 -
     7.1 --- a/Admin/isatest/settings/sun-sml	Fri May 28 11:23:34 2010 +0200
     7.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     7.3 @@ -1,29 +0,0 @@
     7.4 -# -*- shell-script -*- :mode=shellscript:
     7.5 -
     7.6 -# Standard ML of New Jersey 110.0.7 (stable version)
     7.7 -ML_SYSTEM=smlnj-110.0.7
     7.8 -ML_HOME="/home/proj/smlnj/110.0.7/bin"
     7.9 -ML_OPTIONS="@SMLdebug=/dev/null"
    7.10 -ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
    7.11 -
    7.12 -ISABELLE_HOME_USER=~/isabelle-sun-sml
    7.13 -
    7.14 -# Where to look for isabelle tools (multiple dirs separated by ':').
    7.15 -ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
    7.16 -
    7.17 -# Location for temporary files (should be on a local file system).
    7.18 -ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
    7.19 -
    7.20 -
    7.21 -# Heap input locations. ML system identifier is included in lookup.
    7.22 -ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    7.23 -
    7.24 -# Heap output location. ML system identifier is appended automatically later on.
    7.25 -ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    7.26 -ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    7.27 -
    7.28 -# ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
    7.29 -ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
    7.30 -
    7.31 -unset KODKODI
    7.32 -
     8.1 --- a/Admin/isatest/settings/sun-sml-dev	Fri May 28 11:23:34 2010 +0200
     8.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     8.3 @@ -1,29 +0,0 @@
     8.4 -# -*- shell-script -*- :mode=shellscript:
     8.5 -
     8.6 -# Standard ML of New Jersey 110 or later
     8.7 -ML_SYSTEM=smlnj-110
     8.8 -ML_HOME="/home/smlnj/110.60/bin"
     8.9 -ML_OPTIONS="@SMLdebug=/dev/null"
    8.10 -ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
    8.11 -
    8.12 -ISABELLE_HOME_USER=~/isabelle-sun-sml-dev
    8.13 -
    8.14 -# Where to look for isabelle tools (multiple dirs separated by ':').
    8.15 -ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
    8.16 -
    8.17 -# Location for temporary files (should be on a local file system).
    8.18 -ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
    8.19 -
    8.20 -
    8.21 -# Heap input locations. ML system identifier is included in lookup.
    8.22 -ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    8.23 -
    8.24 -# Heap output location. ML system identifier is appended automatically later on.
    8.25 -ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    8.26 -ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    8.27 -
    8.28 -# ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
    8.29 -ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
    8.30 -
    8.31 -unset KODKODI
    8.32 -