# HG changeset patch
# User wenzelm
# Date 1583876975 -3600
# Node ID 93bdbac68d8d88a6bd08b02576ca32e1dd4394a8
# Parent  2aa38099aa8cfffdf4cdafad19d9d672eff231c2
standard tests for macOS 10.15 Catalina;

diff -r 2aa38099aa8c -r 93bdbac68d8d Admin/PLATFORMS
--- a/Admin/PLATFORMS	Tue Mar 10 14:16:19 2020 +0100
+++ b/Admin/PLATFORMS	Tue Mar 10 22:49:35 2020 +0100
@@ -38,6 +38,7 @@
                     macOS 10.12 Sierra (macbroy30 MacBookPro6,2)
                     macOS 10.13 High Sierra (lapbroy68 MacBookPro11,2)
                     macOS 10.14 Mojave (lapnipkow3 MacBookPro9,2)
+                    macOS 10.15 Catalina (laramac01 Macmini8,1)
 
   x86_64-windows    Windows 7
   x86_64-cygwin     Cygwin 2.10 https://isabelle.sketis.net/cygwin_2018 (x86_64/release)
diff -r 2aa38099aa8c -r 93bdbac68d8d src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Mar 10 14:16:19 2020 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Mar 10 22:49:35 2020 +0100
@@ -301,6 +301,10 @@
       List(Remote_Build("Mac OS X 10.14 Mojave", "lapnipkow3", self_update = true,
         options = "-m32 -M1,2 -e ISABELLE_GHC_SETUP=true",
         args = "-a -d '~~/src/Benchmarks'")),
+      List(Remote_Build("macOS 10.15 Catalina", "laramac01", user = "makarius",
+        proxy_host = "laraserver", proxy_user = "makarius",
+        self_update = true, options = "-m32 -M1,2,4 -e ISABELLE_GHC_SETUP=true",
+        args = "-a -d '~~/src/Benchmarks'")),
       List(
         Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, self_update = true,
           options = "-m32 -M4" +