# HG changeset patch
# User wenzelm
# Date 1418920013 -3600
# Node ID 7a373a35a37a12f9ba653d29b161b71f8692c03b
# Parent  eb3e399f5b9f878ab38716829ede103c097c633c
less ambitious settings -- increase chances of success;

diff -r eb3e399f5b9f -r 7a373a35a37a Admin/isatest/settings/at64-poly
--- a/Admin/isatest/settings/at64-poly	Thu Dec 18 16:13:54 2014 +0100
+++ b/Admin/isatest/settings/at64-poly	Thu Dec 18 17:26:53 2014 +0100
@@ -8,8 +8,6 @@
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="--minheap 1000 --maxheap 3000 --gcthreads 1"
 
-ISABELLE_GHC=/usr/bin/ghc
-
 ISABELLE_HOME_USER=~/isabelle-at64-poly
 
 # Where to look for isabelle tools (multiple dirs separated by ':').
@@ -26,5 +24,5 @@
 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
-ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
+ISABELLE_BUILD_OPTIONS="threads=1"