isatest for Mac OS X Yosemite;
authorwenzelm
Sat Nov 22 11:05:41 2014 +0100 (2014-11-22)
changeset 591148281f83d286f
parent 59113 3cded6b57a82
child 59115 f65ac77f7e07
child 59116 77351f2051f5
isatest for Mac OS X Yosemite;
Admin/PLATFORMS
Admin/isatest/isatest-makedist
Admin/isatest/settings/mac-poly-M2-alternative
     1.1 --- a/Admin/PLATFORMS	Mon Dec 08 23:06:19 2014 +0100
     1.2 +++ b/Admin/PLATFORMS	Sat Nov 22 11:05:41 2014 +0100
     1.3 @@ -33,9 +33,10 @@
     1.4    x86-linux         Ubuntu 10.04 LTS
     1.5    x86_64-linux      Ubuntu 10.04 LTS
     1.6  
     1.7 -  x86_64-darwin     Mac OS X Lion (macbroy6)
     1.8 -                    Mac OS X Mountain Lion (macbroy30)
     1.9 -                    Mac OS X Mavericks (macbroy2)
    1.10 +  x86_64-darwin     Mac OS X 10.7 Lion (macbroy6)
    1.11 +                    Mac OS X 10.8 Mountain Lion (macbroy30)
    1.12 +                    Mac OS X 10.9 Mavericks (macbroy2)
    1.13 +                    Mac OS X 10.10 Yosemite (macbroy31)
    1.14  
    1.15    x86-cygwin        Cygwin 1.7 (vmbroy9)
    1.16  
     2.1 --- a/Admin/isatest/isatest-makedist	Mon Dec 08 23:06:19 2014 +0100
     2.2 +++ b/Admin/isatest/isatest-makedist	Sat Nov 22 11:05:41 2014 +0100
     2.3 @@ -120,6 +120,8 @@
     2.4  $SSH macbroy6 "$MAKEALL $HOME/settings/mac-poly64-M2"
     2.5  sleep 15
     2.6  $SSH macbroy30 "$MAKEALL $HOME/settings/mac-poly-M2"
     2.7 +sleep 15
     2.8 +$SSH macbroy31 "$MAKEALL $HOME/settings/mac-poly-M2-alternative"
     2.9  
    2.10  echo ------------------- spawned tests successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1
    2.11  
     3.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     3.2 +++ b/Admin/isatest/settings/mac-poly-M2-alternative	Sat Nov 22 11:05:41 2014 +0100
     3.3 @@ -0,0 +1,35 @@
     3.4 +# -*- shell-script -*- :mode=shellscript:
     3.5 +
     3.6 +init_components /home/isabelle/contrib "$HOME/admin/components/main"
     3.7 +init_components /home/isabelle/contrib "$HOME/admin/components/optional"
     3.8 +init_components /home/isabelle/contrib "$HOME/admin/components/nonfree"
     3.9 +
    3.10 +ML_SYSTEM="polyml-5.5.2"
    3.11 +ML_PLATFORM="x86-darwin"
    3.12 +ML_HOME="/home/polyml/polyml-5.5.2/$ML_PLATFORM"
    3.13 +ML_OPTIONS="-H 1000"
    3.14 +
    3.15 +ISABELLE_HOME_USER=~/isabelle-mac-poly-M2-alternative
    3.16 +
    3.17 +# Where to look for isabelle tools (multiple dirs separated by ':').
    3.18 +ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
    3.19 +
    3.20 +# Location for temporary files (should be on a local file system).
    3.21 +ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
    3.22 +
    3.23 +
    3.24 +# Heap input locations. ML system identifier is included in lookup.
    3.25 +ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    3.26 +
    3.27 +# Heap output location. ML system identifier is appended automatically later on.
    3.28 +ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    3.29 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    3.30 +
    3.31 +ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf threads=2 parallel_proofs=2"
    3.32 +
    3.33 +ISABELLE_FULL_TEST=true
    3.34 +
    3.35 +ISABELLE_GHC=ghc
    3.36 +
    3.37 +Z3_NON_COMMERCIAL="yes"
    3.38 +