--- a/src/Pure/Admin/isabelle_cronjob.scala Sun Nov 05 19:28:54 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala Sun Nov 05 19:32:01 2023 +0100
@@ -177,8 +177,6 @@
detect: PostgreSQL.Source = "",
active: () => Boolean = () => true
) {
- def replicate(n: Int): List[Remote_Build] = Library.replicate(n, this)
-
def open_session(options: Options): SSH.Session =
SSH.open_session(options, host = host, user = user, port = port)
@@ -350,13 +348,14 @@
" -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" +
" -e ISABELLE_SWIPL=/usr/local/bin/swipl",
args = "-a -d '~~/src/Benchmarks'")),
- Remote_Build("macOS 14 Sonoma (ARM)", "studio1-sonoma",
- history_base = "8e590adaac5e",
- options = "-m32 -B -M1x4,2x4,4x2,8 -p pide_session=false" +
- " -e ISABELLE_GHC_SETUP=true" +
- " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" +
- " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl",
- args = "-a -d '~~/src/Benchmarks'").replicate(2),
+ Library.replicate(2,
+ Remote_Build("macOS 14 Sonoma (ARM)", "studio1-sonoma",
+ history_base = "8e590adaac5e",
+ options = "-m32 -B -M1x4,2x4,4x2,8 -p pide_session=false" +
+ " -e ISABELLE_GHC_SETUP=true" +
+ " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" +
+ " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl",
+ args = "-a -d '~~/src/Benchmarks'")),
List(
Remote_Build("macOS, quick_and_dirty", "mini2",
options = "-m32 -M4 -t quick_and_dirty -p pide_session=false",
@@ -367,13 +366,14 @@
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"),
active = () => false)),
- Remote_Build("macOS 13 Ventura (ARM)", "mini3",
- history_base = "8e590adaac5e",
- options = "-a -m32 -B -M1x4,2x2,4 -p pide_session=false" +
- " -e ISABELLE_GHC_SETUP=true" +
- " -e ISABELLE_MLTON=/opt/homebrew/bin/mlton -e ISABELLE_MLTON_OPTIONS=" +
- " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl",
- args = "-a -d '~~/src/Benchmarks'").replicate(3),
+ Library.replicate(3,
+ Remote_Build("macOS 13 Ventura (ARM)", "mini3",
+ history_base = "8e590adaac5e",
+ options = "-a -m32 -B -M1x4,2x2,4 -p pide_session=false" +
+ " -e ISABELLE_GHC_SETUP=true" +
+ " -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("Windows", "vmnipkow9", historic = true, history = 90,
components_base = "/cygdrive/d/isatest/contrib",