# HG changeset patch
# User wenzelm
# Date 1711450808 -3600
# Node ID 34c20c8bbdc532465fe90f58496d0c3b712eec73
# Parent  31ebb6be32b0c382ec2516180979e35d0761c219
tuned;

diff -r 31ebb6be32b0 -r 34c20c8bbdc5 src/Pure/Tools/dotnet_setup.scala
--- a/src/Pure/Tools/dotnet_setup.scala	Tue Mar 26 11:45:49 2024 +0100
+++ b/src/Pure/Tools/dotnet_setup.scala	Tue Mar 26 12:00:08 2024 +0100
@@ -11,21 +11,23 @@
   /* platforms */
 
   sealed case class Platform_Info(
-    family: Platform.Family,
     name: String,
     os: String = "",
     arch: String = "x64",
     ext: String = "sh",
     exec: String = "bash",
-    check: () => Unit = () => ())
+    check: () => Unit = () => ()
+  ) {
+    val family: Platform.Family = Platform.Family.from_platform(name)
+  }
 
   private val all_platforms =
     List(
-      Platform_Info(Platform.Family.linux_arm, "arm64-linux", os = "linux", arch = "arm64"),
-      Platform_Info(Platform.Family.linux, "x86_64-linux", os = "linux"),
-      Platform_Info(Platform.Family.macos, "arm64-darwin", os = "osx", arch = "arm64"),
-      Platform_Info(Platform.Family.macos, "x86_64-darwin", os = "osx"),
-      Platform_Info(Platform.Family.windows, "x86_64-windows",
+      Platform_Info("arm64-linux", os = "linux", arch = "arm64"),
+      Platform_Info("x86_64-linux", os = "linux"),
+      Platform_Info("arm64-darwin", os = "osx", arch = "arm64"),
+      Platform_Info("x86_64-darwin", os = "osx"),
+      Platform_Info("x86_64-windows",
         ext = "ps1",
         exec = "powershell -ExecutionPolicy ByPass",
         check = () => Isabelle_System.require_command("powershell", "-NoProfile -Command Out-Null")))