# HG changeset patch
# User Gerwin Klein <gerwin.klein@nicta.com.au>
# Date 1349306394 -36000
# Node ID bdec6330acc42eb07aaed7271f1a315a1db09d85
# Parent  393d7242adaf4c0ac3eb703033d1e29951fbf0ad
updated crontab and afp-poly settings

diff -r 393d7242adaf -r bdec6330acc4 Admin/isatest/crontab.macbroy2
--- a/Admin/isatest/crontab.macbroy2	Wed Oct 03 22:07:26 2012 +0200
+++ b/Admin/isatest/crontab.macbroy2	Thu Oct 04 09:19:54 2012 +1000
@@ -1,7 +1,7 @@
 MAILTO=isatest@mailbroy.informatik.tu-muenchen.de
 
-28 06 * * 0-5                export FLYSPECK_SKIP_PROOFS=true && $HOME/afp/devel/admin/regression -
-28 06 * * 6                  $HOME/afp/devel/admin/regression -
+28 06 * * 0-5                $HOME/afp/devel/admin/regression -
+28 06 * * 6                  export ISABELLE_FULL_TEST=true && $HOME/afp/devel/admin/regression -
 # 17 11 * * 6                  $HOME/afp/devel/admin/regression -f -
 # 32 11 * * 0                  $HOME/afp/release/admin/regression Isabelle2011-1
 
diff -r 393d7242adaf -r bdec6330acc4 Admin/isatest/settings/afp-poly
--- a/Admin/isatest/settings/afp-poly	Wed Oct 03 22:07:26 2012 +0200
+++ b/Admin/isatest/settings/afp-poly	Thu Oct 04 09:19:54 2012 +1000
@@ -2,14 +2,8 @@
 
 init_components /home/isabelle/contrib "$HOME/admin/components/main"
 
-  POLYML_HOME="$HOME/afp/contrib/polyml-5.4.1"
-  ML_SYSTEM="polyml-5.4.1"
-  ML_PLATFORM="x86_64-darwin"
-  ML_HOME="$POLYML_HOME/$ML_PLATFORM"
-  ML_OPTIONS="-H 2000 --gcthreads 4"
-
-FLYSPECK_SKIP_PROOFS=true
-JINJATHREADS_OPTIONS="-M 1 -q 0 -p 0"
+# to be retired:
+# JINJATHREADS_OPTIONS="-M 1 -q 0 -p 0"
 
 ISABELLE_HOME_USER=~/afp/isabelle-afp-poly