# HG changeset patch
# User wenzelm
# Date 1602096239 -7200
# Node ID ed95980cf19817a76b8cb7471fd6b42c39f86107
# Parent  3d255ebe9733763de3eafa857e66ea547237929b
updated tests for macOS 10.14 Mojave;

diff -r 3d255ebe9733 -r ed95980cf198 Admin/PLATFORMS
--- 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
diff -r 3d255ebe9733 -r ed95980cf198 src/Pure/Admin/isabelle_cronjob.scala
--- 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",