src/Pure/Admin/isabelle_cronjob.scala
changeset 67080 2c0f24e927dd
parent 67075 eada9bd5fff2
child 67089 c96ee0eb0d5f
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Fri Nov 17 12:59:18 2017 +0100
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Nov 19 15:27:01 2017 +0100
     1.3 @@ -123,7 +123,8 @@
     1.4      afp: Boolean = false,
     1.5      slow: Boolean = false,
     1.6      more_hosts: List[String] = Nil,
     1.7 -    detect: SQL.Source = "")
     1.8 +    detect: SQL.Source = "",
     1.9 +    active: Boolean = true)
    1.10    {
    1.11      def sql: SQL.Source =
    1.12        Build_Log.Prop.build_engine + " = " + SQL.string(Build_History.engine) + " AND " +
    1.13 @@ -215,13 +216,16 @@
    1.14              " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" +
    1.15              " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_SMLNJ=/mnt/nfsbroy/home/smlnj/bin/sml",
    1.16            args = "-a",
    1.17 -          detect = Build_Log.Prop.build_tags.undefined),
    1.18 +          detect = Build_Log.Prop.build_tags.undefined,
    1.19 +          active = false),
    1.20          Remote_Build("Mac OS X 10.9 Mavericks, quick_and_dirty", "macbroy2",
    1.21            options = "-m32 -M8 -t quick_and_dirty", args = "-a -o quick_and_dirty",
    1.22 -          detect = Build_Log.Prop.build_tags + " = " + SQL.string("quick_and_dirty")),
    1.23 +          detect = Build_Log.Prop.build_tags + " = " + SQL.string("quick_and_dirty"),
    1.24 +          active = false),
    1.25          Remote_Build("Mac OS X 10.9 Mavericks, skip_proofs", "macbroy2",
    1.26            options = "-m32 -M8 -t skip_proofs", args = "-a -o skip_proofs",
    1.27 -          detect = Build_Log.Prop.build_tags + " = " + SQL.string("skip_proofs"))),
    1.28 +          detect = Build_Log.Prop.build_tags + " = " + SQL.string("skip_proofs"),
    1.29 +          active = false)),
    1.30        List(
    1.31          Remote_Build("Mac OS X 10.12 Sierra", "macbroy30", options = "-m32 -M2", args = "-a",
    1.32            detect = Build_Log.Prop.build_start + " > date '2017-03-03'")),
    1.33 @@ -459,7 +463,7 @@
    1.34            SEQ(List(build_release, build_history_base,
    1.35              PAR(List(remote_builds1, remote_builds2).map(remote_builds =>
    1.36                SEQ(List(
    1.37 -                PAR(remote_builds.map(seq =>
    1.38 +                PAR(remote_builds.map(_.filter(_.active)).map(seq =>
    1.39                    SEQ(
    1.40                      for {
    1.41                        (r, i) <- (if (seq.length <= 1) seq.map((_, -1)) else seq.zipWithIndex)