# HG changeset patch
# User kleing
# Date 1429382167 -3600
# Node ID add41579a1d3e70bc6f4eb82dc40c334a4992817
# Parent  3d696ccb7fa6f816136e55675d1eef541618ccaf
tweak afp mac options, try 64bit

diff -r 3d696ccb7fa6 -r add41579a1d3 Admin/isatest/settings/afp-poly
--- a/Admin/isatest/settings/afp-poly	Fri Apr 17 19:49:40 2015 +0200
+++ b/Admin/isatest/settings/afp-poly	Sat Apr 18 19:36:07 2015 +0100
@@ -2,8 +2,11 @@
 
 init_components /home/isabelle/contrib "$HOME/admin/components/main"
 
-# to be retired:
-# JINJATHREADS_OPTIONS="-M 1 -q 0 -p 0"
+  POLYML_HOME="/home/polyml/polyml-5.5.2"
+  ML_SYSTEM="polyml-5.5.2"
+  ML_PLATFORM="x86_64-darwin"
+  ML_HOME="$POLYML_HOME/$ML_PLATFORM"
+  ML_OPTIONS="-H 2000"
 
 ISABELLE_GHC=ghc
 
@@ -23,5 +26,5 @@
 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
-ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=4 parallel_proofs=2"
+ISABELLE_BUILD_OPTIONS="parallel_proofs=2"