--- a/Admin/PLATFORMS Wed Oct 07 17:34:24 2020 +0200
+++ b/Admin/PLATFORMS Wed Oct 07 20:43:59 2020 +0200
@@ -36,7 +36,7 @@
x86_64-linux Ubuntu 14.04 LTS
x86_64-darwin macOS 10.13 High Sierra (lapbroy68 MacBookPro11,2)
- macOS 10.14 Mojave (lapnipkow3 MacBookPro9,2)
+ macOS 10.14 Mojave (mini2 Macmini8,1)
macOS 10.15 Catalina (laramac01 Macmini8,1)
x86_64-windows Windows 7
--- a/src/Pure/Admin/isabelle_cronjob.scala Wed Oct 07 17:34:24 2020 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala Wed Oct 07 20:43:59 2020 +0200
@@ -215,6 +215,9 @@
val remote_builds_old: List[Remote_Build] =
List(
+ Remote_Build("Mac OS X 10.14 Mojave (Old)", "lapnipkow3",
+ options = "-m32 -M1,2 -e ISABELLE_GHC_SETUP=true -p pide_session=false",
+ self_update = true, args = "-a -d '~~/src/Benchmarks'"),
Remote_Build("AFP old bulky", "lrzcloud1", self_update = true,
proxy_host = "lxbroy10", proxy_user = "i21isatest",
options = "-m64 -M6 -U30000 -s10 -t AFP",
@@ -313,8 +316,13 @@
List(Remote_Build("Mac OS X 10.13 High Sierra", "lapbroy68",
options = "-m32 -M1,2,4 -e ISABELLE_GHC_SETUP=true -p pide_session=false",
self_update = true, args = "-a -d '~~/src/Benchmarks'")),
- List(Remote_Build("Mac OS X 10.14 Mojave", "lapnipkow3",
- options = "-m32 -M1,2 -e ISABELLE_GHC_SETUP=true -p pide_session=false",
+ List(Remote_Build("Mac OS X 10.14 Mojave", "mini2",
+ options = "-m32 -M1,2,4 -p pide_session=false" +
+ " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
+ " -e ISABELLE_GHC_SETUP=true" +
+ " -e ISABELLE_MLTON=/usr/local/bin/mlton" +
+ " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" +
+ " -e ISABELLE_SWIPL=/usr/local/bin/swipl",
self_update = true, args = "-a -d '~~/src/Benchmarks'")),
List(Remote_Build("Mac OS X 10.15 Catalina", "laramac01", user = "makarius",
proxy_host = "laraserver", proxy_user = "makarius",