src/Pure/Admin/isabelle_cronjob.scala
changeset 71983 694009ed4ee1
parent 71977 c5003c5c72c8
child 71993 088e3aa85250
equal deleted inserted replaced
71982:cea6087e8a70 71983:694009ed4ee1
   313       List(Remote_Build("Mac OS X 10.14 Mojave", "lapnipkow3",
   313       List(Remote_Build("Mac OS X 10.14 Mojave", "lapnipkow3",
   314         options = "-m32 -M1,2 -e ISABELLE_GHC_SETUP=true",
   314         options = "-m32 -M1,2 -e ISABELLE_GHC_SETUP=true",
   315         self_update = true, args = "-a -d '~~/src/Benchmarks'")),
   315         self_update = true, args = "-a -d '~~/src/Benchmarks'")),
   316       List(Remote_Build("Mac OS X 10.15 Catalina", "laramac01", user = "makarius",
   316       List(Remote_Build("Mac OS X 10.15 Catalina", "laramac01", user = "makarius",
   317         proxy_host = "laraserver", proxy_user = "makarius",
   317         proxy_host = "laraserver", proxy_user = "makarius",
   318         self_update = true, options = "-m32 -M4 -e ISABELLE_GHC_SETUP=true",
   318         self_update = true,
       
   319         options = "-m32 -M4" +
       
   320           """ -e 'ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS -Xmx8g"'""" +
       
   321           " -e ISABELLE_GHC_SETUP=true",
   319         args = "-a -d '~~/src/Benchmarks'")),
   322         args = "-a -d '~~/src/Benchmarks'")),
   320       List(
   323       List(
   321         Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, self_update = true,
   324         Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, self_update = true,
   322           options = "-m32 -M4" +
   325           options = "-m32 -M4" +
   323             " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
   326             " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +