# HG changeset patch
# User wenzelm
# Date 1697307879 -7200
# Node ID 3b424f9cd5ebf342c78faf0f4fce72abee0e3db3
# Parent  62b64f168c31454cdd3c51410f604567cefb3e91
update platforms: discontinue macOS 10.13 High Sierra, macOS 10.14 Mojave, macOS 10.15 Catalina;

diff -r 62b64f168c31 -r 3b424f9cd5eb Admin/components/PLATFORMS
--- a/Admin/components/PLATFORMS	Sat Oct 14 20:22:40 2023 +0200
+++ b/Admin/components/PLATFORMS	Sat Oct 14 20:24:39 2023 +0200
@@ -35,11 +35,8 @@
 
   x86_64-linux      Ubuntu 18.04 LTS
 
-  x86_64-darwin     macOS 10.13 High Sierra (lapbroy68 MacBookPro11,2)
-                    macOS 10.14 Mojave (???)
-                    macOS 10.15 Catalina (???)
-                    macOS 11 Big Sur (mini1 Macmini8,1)
-                    macOS 12 Monterey (laramac01 Macmini8,1)
+  x86_64-darwin     macOS 11 Big Sur (mini1 Macmini8,1)
+                    macOS 12 Monterey (???)
                     macOS 13 Ventura (mini3 Mac14,12 -- MacMini M2 Pro, 6+4 cores)
                     macOS 14 Sonoma (mini2 Macmini8,1)
 
diff -r 62b64f168c31 -r 3b424f9cd5eb src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Oct 14 20:22:40 2023 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Oct 14 20:24:39 2023 +0200
@@ -319,11 +319,8 @@
           args = "-a -d '~~/src/Benchmarks'")),
       List(Remote_Build("Linux B", "lxbroy10", historic = true, history = 90,
         options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")),
-      List(Remote_Build("macOS 10.13 High Sierra", "lapbroy68",
-        options = "-m32 -B -M1,2,4 -e ISABELLE_GHC_SETUP=true -p pide_session=false",
-        args = "-a -d '~~/src/Benchmarks'")),
       List(
-        Remote_Build("macOS 11 Big Sur", "mini1",
+        Remote_Build("macOS 11 Big Sur (Intel)", "mini1",
           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" +
@@ -353,17 +350,13 @@
           detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("skip_proofs"),
           active = () => false)),
       List(
-        Remote_Build("macOS 13 Ventura (ARM64)", "mini3",
+        Remote_Build("macOS 13 Ventura (ARM)", "mini3",
           history_base = "8e590adaac5e",
           options = "-a -m32 -B -M1x4,2x2,4 -p pide_session=false" +
             " -e ISABELLE_MLTON=/opt/homebrew/bin/mlton -e ISABELLE_MLTON_OPTIONS=" +
             " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl",
           args = "-a -d '~~/src/Benchmarks'")),
       List(
-        Remote_Build("macOS 12 Monterey", "monterey", 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,
           components_base = "/cygdrive/d/isatest/contrib",
           options = "-m32 -M4" +