# 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" +