# HG changeset patch # User wenzelm # Date 1699208934 -3600 # Node ID f6b3d0cf41472cdb2a759157f513c6d489679fe7 # Parent 54318ecceec9105bb635922872a6a290caf2fcf1 tuned; diff -r 54318ecceec9 -r f6b3d0cf4147 src/Pure/Admin/isabelle_cronjob.scala --- a/src/Pure/Admin/isabelle_cronjob.scala Sat Nov 04 20:28:07 2023 +0100 +++ b/src/Pure/Admin/isabelle_cronjob.scala Sun Nov 05 19:28:54 2023 +0100 @@ -329,24 +329,6 @@ } } - val remote_build_studio1 = - 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'") - - val remote_build_mini3 = - 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'") - val remote_builds1: List[List[Remote_Build]] = { List( List(Remote_Build("Linux A", "augsburg1", @@ -368,7 +350,13 @@ " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" + " -e ISABELLE_SWIPL=/usr/local/bin/swipl", args = "-a -d '~~/src/Benchmarks'")), - remote_build_studio1.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'").replicate(2), List( Remote_Build("macOS, quick_and_dirty", "mini2", options = "-m32 -M4 -t quick_and_dirty -p pide_session=false", @@ -379,7 +367,13 @@ 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_mini3.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'").replicate(3), List( Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, components_base = "/cygdrive/d/isatest/contrib",