full benchmarks, including all conditional theories;
authorwenzelm
Tue Jun 05 21:29:54 2018 +0200 (11 months ago)
changeset 683844a3fc3420747
parent 68383 93a42bd62ede
child 68385 54f07e7f68f9
full benchmarks, including all conditional theories;
etc/settings
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/etc/settings	Tue Jun 05 18:08:13 2018 +0200
     1.2 +++ b/etc/settings	Tue Jun 05 21:29:54 2018 +0200
     1.3 @@ -134,5 +134,8 @@
     1.4  ISABELLE_GNUPLOT="gnuplot"
     1.5  
     1.6  #ISABELLE_GHC="/usr/bin/ghc"
     1.7 +#ISABELLE_MLTON="/usr/bin/mlton"
     1.8  #ISABELLE_OCAML="/usr/bin/ocaml"
     1.9 +#ISABELLE_OCAMLC="/usr/bin/ocamlc"
    1.10 +#ISABELLE_SMLNJ="/usr/bin/sml"
    1.11  #ISABELLE_SWIPL="/usr/bin/swipl"
     2.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Jun 05 18:08:13 2018 +0200
     2.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Jun 05 21:29:54 2018 +0200
     2.3 @@ -252,7 +252,6 @@
     2.4        Remote_Build("Mac OS X 10.8 Mountain Lion", "macbroy30", options = "-m32 -M2", args = "-a",
     2.5          detect = Build_Log.Prop.build_start + " < date '2017-03-03'"))
     2.6  
     2.7 -
     2.8    val remote_builds1: List[List[Remote_Build]] =
     2.9    {
    2.10      List(
    2.11 @@ -260,6 +259,12 @@
    2.12          options = "-m32 -B -M1x2,2", args = "-N -g timing")),
    2.13        List(Remote_Build("Linux B", "lxbroy10", historic = true, history = 90,
    2.14          options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")),
    2.15 +      List(Remote_Build("Linux Benchmarks", "lxbroy5", historic = true, history = 90,
    2.16 +        options = "-m32 -B -M1,2 -t Benchmarks" +
    2.17 +            " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" +
    2.18 +            " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_SMLNJ=sml -e ISABELLE_SWIPL=swipl",
    2.19 +          args = "-N -a -d '~~/src/Benchmarks'",
    2.20 +          detect = Build_Log.Prop.build_tags + " = " + SQL.string("Benchmarks"))),
    2.21        List(
    2.22          Remote_Build("Mac OS X", "macbroy2",
    2.23            options = "-m32 -M8" +