# HG changeset patch
# User wenzelm
# Date 1436893707 -7200
# Node ID 4fce5d462afc432f00128f01bf378e06de026330
# Parent  757cad5a3fe9a38ef5ee3022e6833d547c0a2fcb
more explicit command-line option for isabelle build;

diff -r 757cad5a3fe9 -r 4fce5d462afc Admin/isatest/isatest-makeall
--- a/Admin/isatest/isatest-makeall	Tue Jul 14 19:01:46 2015 +0200
+++ b/Admin/isatest/isatest-makeall	Tue Jul 14 19:08:27 2015 +0200
@@ -18,7 +18,7 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG [-l targets] settings1 [settings2 ...]"
+  echo "Usage: $PRG [-x SESSION] [-l SESSIONS] settings1 [settings2 ...]"
   echo
   echo "  Runs isabelle build for specified settings."
   echo "  Leaves messages in ${ERRORLOG} and ${LOGPREFIX} if it fails."
@@ -47,6 +47,7 @@
 [ -d $DISTPREFIX ] || fail "$DISTPREFIX is not a directory."
 
 # build args and nice setup for different target platforms
+BUILD_OPTS=""
 BUILD_ARGS="-v"
 NICE="nice"
 case $HOSTNAME in
@@ -65,6 +66,13 @@
 
 ISABELLE_HOME="$($ISABELLE_TOOL getenv -b ISABELLE_HOME)"
 
+if [ "$1" = "-x" ]; then
+  shift
+  [ "$#" -lt 2 ] && usage
+  BUILD_OPTS="$BUILD_OPTS -x $1"
+  shift
+fi
+
 if [ "$1" = "-l" ]; then
   shift
   [ "$#" -lt 2 ] && usage
@@ -122,7 +130,7 @@
 
     cp $DISTPREFIX/Isabelle/etc/settings.orig $DISTPREFIX/Isabelle/etc/settings
     cat $SETTINGS >> $DISTPREFIX/Isabelle/etc/settings
-    (ulimit -t $MAXTIME; $NICE "$ISABELLE_TOOL" build $BUILD_ARGS >> $TESTLOG 2>&1)
+    (ulimit -t $MAXTIME; $NICE "$ISABELLE_TOOL" build $BUILD_OPTS -- $BUILD_ARGS >> $TESTLOG 2>&1)
 
     if [ $? -eq 0 ]
     then
diff -r 757cad5a3fe9 -r 4fce5d462afc Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Tue Jul 14 19:01:46 2015 +0200
+++ b/Admin/isatest/isatest-makedist	Tue Jul 14 19:08:27 2015 +0200
@@ -100,7 +100,7 @@
 
 ## spawn test runs
 
-$SSH lxbroy10 "$MAKEALL $HOME/settings/at64-poly"
+$SSH lxbroy10 "$MAKEALL -x HOL-Proofs $HOME/settings/at64-poly"
 sleep 15
 $SSH lxbroy4 "
   $MAKEALL -l HOL-Library $HOME/settings/at-poly;
diff -r 757cad5a3fe9 -r 4fce5d462afc Admin/isatest/settings/at64-poly
--- a/Admin/isatest/settings/at64-poly	Tue Jul 14 19:01:46 2015 +0200
+++ b/Admin/isatest/settings/at64-poly	Tue Jul 14 19:08:27 2015 +0200
@@ -22,4 +22,4 @@
 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
-ISABELLE_BUILD_OPTIONS="threads=1 -x HOL-Proofs"
+ISABELLE_BUILD_OPTIONS="threads=1"