# HG changeset patch
# User wenzelm
# Date 1436778350 -7200
# Node ID 5240b2ed5189fee84eb4d47db8bec4f4070a4ce4
# Parent  3ba16d28449d258269e4f0fcb3c09987e6c551c3
refrain from testing HOL-Proofs for x86_64-linux: takes more than 4h;
tuned parameters;

diff -r 3ba16d28449d -r 5240b2ed5189 Admin/isatest/isatest-makeall
--- a/Admin/isatest/isatest-makeall	Sun Jul 12 13:04:42 2015 +0200
+++ b/Admin/isatest/isatest-makeall	Mon Jul 13 11:05:50 2015 +0200
@@ -90,7 +90,7 @@
         BUILD_ARGS="-o timeout=72000 $BUILD_ARGS"
         ;;
       *)
-        BUILD_ARGS="-o timeout=14400 $BUILD_ARGS"
+        BUILD_ARGS="-o timeout=10800 $BUILD_ARGS"
         ;;
     esac
 
diff -r 3ba16d28449d -r 5240b2ed5189 Admin/isatest/settings/at64-poly
--- a/Admin/isatest/settings/at64-poly	Sun Jul 12 13:04:42 2015 +0200
+++ b/Admin/isatest/settings/at64-poly	Mon Jul 13 11:05:50 2015 +0200
@@ -4,7 +4,7 @@
 
 ML_PLATFORM="$ISABELLE_PLATFORM64"
 ML_HOME="$POLYML_HOME/$ML_PLATFORM"
-ML_OPTIONS="--minheap 4000 --maxheap 16000 --gcthreads 1"
+ML_OPTIONS="--minheap 2000 --maxheap 8000 --gcthreads 4"
 
 ISABELLE_HOME_USER=~/isabelle-at64-poly
 
@@ -22,5 +22,4 @@
 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
-ISABELLE_BUILD_OPTIONS="threads=1"
-
+ISABELLE_BUILD_OPTIONS="threads=1 -x HOL-Proofs"