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