--- a/src/Pure/Admin/other_isabelle.scala Sat Jan 28 20:21:55 2023 +0100
+++ b/src/Pure/Admin/other_isabelle.scala Sat Jan 28 20:50:45 2023 +0100
@@ -75,7 +75,7 @@
/* components */
def init_components(
- components_base: String = Components.standard_components_base,
+ components_base: String = Components.dynamic_components_base,
catalogs: List[String] = Components.default_catalogs,
components: List[String] = Nil
): List[String] = {
@@ -91,7 +91,7 @@
echo: Boolean = false,
clean_platforms: Option[List[Platform.Family.Value]] = None,
clean_archives: Boolean = false,
- component_repository: String = Components.default_component_repository
+ component_repository: String = Components.static_component_repository
): Unit = {
val missing = Path.split(getenv("ISABELLE_COMPONENTS_MISSING"))
for (path <- missing) {
@@ -154,7 +154,7 @@
echo: Boolean = false,
clean_platforms: Option[List[Platform.Family.Value]] = None,
clean_archives: Boolean = false,
- component_repository: String = Components.default_component_repository
+ component_repository: String = Components.static_component_repository
): Unit = {
init_settings(other_settings)
resolve_components(