# HG changeset patch
# User wenzelm
# Date 1697287120 -7200
# Node ID d7f4c5c7bebbac1cc88c8edab63bb1cf7e5b3178
# Parent  8a7c0f8fc9d275153f1d967ec5bbfcd54691ad29
more platform tests: initial support for macOS 14 Sonoma;

diff -r 8a7c0f8fc9d2 -r d7f4c5c7bebb Admin/components/PLATFORMS
--- a/Admin/components/PLATFORMS	Sat Oct 14 14:27:54 2023 +0200
+++ b/Admin/components/PLATFORMS	Sat Oct 14 14:38:40 2023 +0200
@@ -36,17 +36,17 @@
   x86_64-linux      Ubuntu 16.04 LTS
 
   x86_64-darwin     macOS 10.13 High Sierra (lapbroy68 MacBookPro11,2)
-                    macOS 10.14 Mojave (mini2 Macmini8,1)
+                    macOS 10.14 Mojave (???)
                     macOS 10.15 Catalina (???)
                     macOS 11 Big Sur (mini1 Macmini8,1)
                     macOS 12 Monterey (laramac01 Macmini8,1)
                     macOS 13 Ventura (mini3 Mac14,12 -- MacMini M2 Pro, 6+4 cores)
-                    macOS 14 Sonoma (???)
+                    macOS 14 Sonoma (mini2 Macmini8,1)
 
   arm64-darwin      macOS 11 Big Sur (assur Macmini9,1 -- MacMini M1, 4+4 cores)
                     macOS 12 Monterey (???)
                     macOS 13 Ventura (mini3 Mac14,12 -- MacMini M2 Pro, 6+4 cores)
-                    macOS 14 Sonoma (???)
+                    macOS 14 Sonoma (studio1 Mac13,2 M1 Ultra, 16+4 cores)
 
   x86_64-windows    Windows 10
   x86_64-cygwin     Cygwin 3.4.x https://isabelle.sketis.net/cygwin_2023 (x86_64/release)
diff -r 8a7c0f8fc9d2 -r d7f4c5c7bebb src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Oct 14 14:27:54 2023 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Oct 14 14:38:40 2023 +0200
@@ -332,15 +332,17 @@
             " -e ISABELLE_SWIPL=/usr/local/bin/swipl",
           args = "-a -d '~~/src/Benchmarks'")),
       List(
-        Remote_Build("macOS 10.14 Mojave", "mini2",
+        Remote_Build("macOS 14 Sonoma (ARM)", "studio1-sonoma",
+          options = "-m32 -B -M1x4,2x4,4x2,8 -p pide_session=false" +
+            " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" +
+            " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl",
+          args = "-a -d '~~/src/Benchmarks'"),
+        Remote_Build("macOS 14 Sonoma (Intel)", "mini2-sonoma",
           options = "-m32 -B -M1x2,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_MLTON_OPTIONS=" +
             " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" +
             " -e ISABELLE_SWIPL=/usr/local/bin/swipl",
-          args = "-a -d '~~/src/Benchmarks'",
-          active = () => false),
+          args = "-a -d '~~/src/Benchmarks'"),
         Remote_Build("macOS, quick_and_dirty", "mini2",
           options = "-m32 -M4 -t quick_and_dirty -p pide_session=false",
           args = "-a -o quick_and_dirty",