# HG changeset patch
# User wenzelm
# Date 1661974016 -7200
# Node ID 00afd2c233c086af7252eb442f06c3c63cf56d95
# Parent  614a8feea80ca6cf2aa925cad73cbe97e5150440
test macOS 12 Monterey via laramac01;

diff -r 614a8feea80c -r 00afd2c233c0 Admin/components/PLATFORMS
--- a/Admin/components/PLATFORMS	Wed Aug 31 20:54:23 2022 +0200
+++ b/Admin/components/PLATFORMS	Wed Aug 31 21:26:56 2022 +0200
@@ -37,9 +37,9 @@
 
   x86_64-darwin     macOS 10.13 High Sierra (lapbroy68 MacBookPro11,2)
                     macOS 10.14 Mojave (mini2 Macmini8,1)
-                    macOS 10.15 Catalina (laramac01 Macmini8,1)
+                    macOS 10.15 Catalina (???)
                     macOS 11 Big Sur (mini1 Macmini8,1)
-                    macOS 12 Monterey (???)
+                    macOS 12 Monterey (laramac01 Macmini8,1)
                     macOS 13 Ventura (???)
 
   arm64-darwin      macOS 11 Big Sur
diff -r 614a8feea80c -r 00afd2c233c0 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Aug 31 20:54:23 2022 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Aug 31 21:26:56 2022 +0200
@@ -353,6 +353,11 @@
           options = "-m32 -M4 -t skip_proofs -p pide_session=false", args = "-a -o skip_proofs",
           detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("skip_proofs"))),
       List(
+        Remote_Build("macOS 10.15 Catalina", "monterey", actual_host = "laramac01",
+          user = "makarius", proxy_host = "laraserver", proxy_user = "makarius",
+          options = "-m32 -M4 -e ISABELLE_GHC_SETUP=true -p pide_session=false",
+          args = "-a -d '~~/src/Benchmarks'")),
+      List(
         Remote_Build("Windows", "vmnipkow9", historic = true, history = 90,
           options = "-m32 -M4" +
             " -C /cygdrive/d/isatest/contrib" +