--- a/src/Pure/System/components.scala Tue Aug 29 17:19:19 2023 +0200
+++ b/src/Pure/System/components.scala Tue Aug 29 17:29:34 2023 +0200
@@ -35,7 +35,7 @@
/* platforms */
- private val family_platforms: Map[Platform.Family.Value, List[String]] =
+ private val family_platforms: Map[Platform.Family, List[String]] =
Map(
Platform.Family.linux_arm -> List("arm64-linux", "arm64_32-linux"),
Platform.Family.linux -> List("x86_64-linux", "x86_64_32-linux"),
@@ -47,7 +47,7 @@
private val platform_names: Set[String] =
Set("x86-linux", "x86-cygwin") ++ family_platforms.iterator.flatMap(_._2)
- def platform_purge(platforms: List[Platform.Family.Value]): String => Boolean = {
+ def platform_purge(platforms: List[Platform.Family]): String => Boolean = {
val preserve =
(for {
family <- platforms.iterator
@@ -91,7 +91,7 @@
def clean(
component_dir: Path,
- platforms: List[Platform.Family.Value] = Platform.Family.list,
+ platforms: List[Platform.Family] = Platform.Family.list,
ssh: SSH.System = SSH.Local,
progress: Progress = new Progress
): Unit = {
@@ -108,7 +108,7 @@
def clean_base(
base_dir: Path,
- platforms: List[Platform.Family.Value] = Platform.Family.list,
+ platforms: List[Platform.Family] = Platform.Family.list,
ssh: SSH.System = SSH.Local,
progress: Progress = new Progress
): Unit = {
@@ -124,7 +124,7 @@
name: String,
target_dir: Option[Path] = None,
copy_dir: Option[Path] = None,
- clean_platforms: Option[List[Platform.Family.Value]] = None,
+ clean_platforms: Option[List[Platform.Family]] = None,
clean_archives: Boolean = false,
component_repository: String = Components.static_component_repository,
ssh: SSH.System = SSH.Local,