--- a/src/Pure/Admin/isabelle_cronjob.scala Wed Aug 09 10:51:21 2023 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala Wed Aug 09 11:04:17 2023 +0200
@@ -307,6 +307,14 @@
}
}
+ val remote_build_mini3 =
+ Remote_Build("macOS 13 Ventura (ARM64)", "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'")
+
val remote_builds1: List[List[Remote_Build]] = {
List(
List(Remote_Build("Linux A", "augsburg1",
@@ -347,13 +355,7 @@
Remote_Build("macOS, skip_proofs", "mini2",
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 13 Ventura (ARM64)", "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_mini3, remote_build_mini3, remote_build_mini3),
List(
Remote_Build("macOS 12 Monterey", "monterey", user = "makarius",
options = "-m32 -M4 -e ISABELLE_GHC_SETUP=true -p pide_session=false",