# HG changeset patch # User wenzelm # Date 1706632542 -3600 # Node ID c9774306a8793bb60ef7c3fbf21b5de847af8c9d # Parent b8a6b2ec85a2f43aef124eecadc3c15eff477c2f allow remote_build on this host (server-arm), without conflicts of this "isabelle_self"; diff -r b8a6b2ec85a2 -r c9774306a879 src/Pure/Admin/build_history.scala --- a/src/Pure/Admin/build_history.scala Tue Jan 30 12:48:27 2024 +0100 +++ b/src/Pure/Admin/build_history.scala Tue Jan 30 17:35:42 2024 +0100 @@ -537,6 +537,7 @@ components_base: String = Components.dynamic_components_base, clean_platform: Boolean = false, clean_archives: Boolean = false, + shared_isabelle_self: Boolean = false, progress: Progress = new Progress, rev: String = "", afp_repos: Option[Path] = None, @@ -556,7 +557,7 @@ rev = rev, afp_rev = afp_rev, afp_root = if (afp) afp_repos else None) } - sync(isabelle_self) + if (!shared_isabelle_self) sync(isabelle_self) val self_isabelle = Other_Isabelle(isabelle_self, isabelle_identifier = isabelle_identifier, diff -r b8a6b2ec85a2 -r c9774306a879 src/Pure/Admin/isabelle_cronjob.scala --- a/src/Pure/Admin/isabelle_cronjob.scala Tue Jan 30 12:48:27 2024 +0100 +++ b/src/Pure/Admin/isabelle_cronjob.scala Tue Jan 30 17:35:42 2024 +0100 @@ -129,6 +129,7 @@ history_base: String = "build_history_base", components_base: String = Components.dynamic_components_base, clean_components: Boolean = true, + shared_isabelle_self: Boolean = false, java_heap: String = "", options: String = "", args: String = "", @@ -297,6 +298,7 @@ List( List(Remote_Build("Linux (ARM)", "server-arm", history_base = "build_history_base_arm", + shared_isabelle_self = true, options = "-m32 -B -M1x2 -p timeout_scale=2" + " -e ISABELLE_SWIPL=swipl", args = "-a -d '~~/src/Benchmarks'")), @@ -406,6 +408,7 @@ components_base = r.components_base, clean_platform = r.clean_components, clean_archives = r.clean_components, + shared_isabelle_self = r.shared_isabelle_self, rev = rev, afp_repos = if (afp_rev.isDefined) Some(afp_repos) else None, afp_rev = afp_rev.getOrElse(""),