--- a/src/Pure/Admin/isabelle_cronjob.scala Sat Jan 28 21:32:33 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala Sat Jan 28 21:40:06 2023 +0100
@@ -140,6 +140,7 @@
historic: Boolean = false,
history: Int = 0,
history_base: String = "build_history_base",
+ components_base: String = Components.dynamic_components_base,
clean_components: Boolean = false,
java_heap: String = "",
options: String = "",
@@ -350,8 +351,8 @@
args = "-a -d '~~/src/Benchmarks'")),
List(
Remote_Build("Windows", "vmnipkow9", historic = true, history = 90,
+ components_base = "/cygdrive/d/isatest/contrib",
options = "-m32 -M4" +
- " -C /cygdrive/d/isatest/contrib" +
" -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
" -e ISABELLE_GHC_SETUP=true" +
" -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml",
@@ -360,6 +361,7 @@
Build_Log.Settings.ML_PLATFORM.toString + " = " + SQL.string("x86-windows") + " OR " +
Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64_32-windows")),
Remote_Build("Windows", "vmnipkow9", historic = true, history = 90,
+ components_base = "/cygdrive/d/isatest/contrib",
options = "-m64 -M4" +
" -C /cygdrive/d/isatest/contrib" +
" -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
@@ -405,6 +407,7 @@
isabelle_repos,
isabelle_repos.ext(r.host),
isabelle_identifier = "cronjob_build_history",
+ components_base = r.components_base,
clean_platform = r.clean_components,
clean_archives = r.clean_components,
rev = rev,
@@ -412,7 +415,6 @@
afp_rev = afp_rev.getOrElse(""),
options =
" -N " + Bash.string(task_name) + (if (i < 0) "" else "_" + (i + 1).toString) +
- " -R " + Bash.string(Components.static_component_repository) +
" -f " + r.build_history_options,
args = "-o timeout=10800 " + r.args)