src/Pure/Admin/isabelle_cronjob.scala
changeset 69245 3e9f812c308c
parent 69244 264002272392
child 69253 8bfa615ddde4
equal deleted inserted replaced
69244:264002272392 69245:3e9f812c308c
   285           history_base = "2c0f24e927dd")),
   285           history_base = "2c0f24e927dd")),
   286       List(
   286       List(
   287         Remote_Build("Mac OS X 10.12 Sierra", "macbroy30", options = "-m32 -M2", args = "-a",
   287         Remote_Build("Mac OS X 10.12 Sierra", "macbroy30", options = "-m32 -M2", args = "-a",
   288           detect = Build_Log.Prop.build_start + " > date '2017-03-03'")),
   288           detect = Build_Log.Prop.build_start + " > date '2017-03-03'")),
   289       List(Remote_Build("Mac OS X 10.10 Yosemite", "macbroy31", options = "-m32 -M2", args = "-a")),
   289       List(Remote_Build("Mac OS X 10.10 Yosemite", "macbroy31", options = "-m32 -M2", args = "-a")),
   290       List(Remote_Build("Mac OS X 10.14 Mojave", "lapnipkow3", ghc_setup = true, ocaml_setup = true,
   290       List(Remote_Build("Mac OS X 10.14 Mojave", "lapnipkow3", self_update = true,
       
   291         ghc_setup = true, ocaml_setup = true,
   291         options = "-m32 -M1,2", args = "-a -d '~~/src/Benchmarks'")),
   292         options = "-m32 -M1,2", args = "-a -d '~~/src/Benchmarks'")),
   292       List(
   293       List(
   293         Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, self_update = true,
   294         Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, self_update = true,
   294           options = "-m32 -M4" +
   295           options = "-m32 -M4" +
   295             " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc" +
   296             " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc" +