# HG changeset patch
# User wenzelm
# Date 1528226994 -7200
# Node ID 4a3fc3420747c5233afae289fd3127f5aa74d103
# Parent  93a42bd62ede6476edf3ec2db42bd013d585e0a7
full benchmarks, including all conditional theories;

diff -r 93a42bd62ede -r 4a3fc3420747 etc/settings
--- a/etc/settings	Tue Jun 05 18:08:13 2018 +0200
+++ b/etc/settings	Tue Jun 05 21:29:54 2018 +0200
@@ -134,5 +134,8 @@
 ISABELLE_GNUPLOT="gnuplot"
 
 #ISABELLE_GHC="/usr/bin/ghc"
+#ISABELLE_MLTON="/usr/bin/mlton"
 #ISABELLE_OCAML="/usr/bin/ocaml"
+#ISABELLE_OCAMLC="/usr/bin/ocamlc"
+#ISABELLE_SMLNJ="/usr/bin/sml"
 #ISABELLE_SWIPL="/usr/bin/swipl"
diff -r 93a42bd62ede -r 4a3fc3420747 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Jun 05 18:08:13 2018 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Jun 05 21:29:54 2018 +0200
@@ -252,7 +252,6 @@
       Remote_Build("Mac OS X 10.8 Mountain Lion", "macbroy30", options = "-m32 -M2", args = "-a",
         detect = Build_Log.Prop.build_start + " < date '2017-03-03'"))
 
-
   val remote_builds1: List[List[Remote_Build]] =
   {
     List(
@@ -260,6 +259,12 @@
         options = "-m32 -B -M1x2,2", args = "-N -g timing")),
       List(Remote_Build("Linux B", "lxbroy10", historic = true, history = 90,
         options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")),
+      List(Remote_Build("Linux Benchmarks", "lxbroy5", historic = true, history = 90,
+        options = "-m32 -B -M1,2 -t Benchmarks" +
+            " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" +
+            " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_SMLNJ=sml -e ISABELLE_SWIPL=swipl",
+          args = "-N -a -d '~~/src/Benchmarks'",
+          detect = Build_Log.Prop.build_tags + " = " + SQL.string("Benchmarks"))),
       List(
         Remote_Build("Mac OS X", "macbroy2",
           options = "-m32 -M8" +