# HG changeset patch
# User wenzelm
# Date 1667685578 -3600
# Node ID 0869eacad31087c82d1f58892468a66f2d61f11d
# Parent  fbe0fedd8a613c77222fbea62d02a7f37e0b178f
proper default_platform;

diff -r fbe0fedd8a61 -r 0869eacad310 src/Pure/Tools/dotnet_setup.scala
--- a/src/Pure/Tools/dotnet_setup.scala	Sat Nov 05 22:45:26 2022 +0100
+++ b/src/Pure/Tools/dotnet_setup.scala	Sat Nov 05 22:59:38 2022 +0100
@@ -43,7 +43,13 @@
 
   /* dotnet download and setup */
 
-  def default_platform: String = Platform.Family.native(Platform.family)
+  def default_platform: String = {
+    val self = Isabelle_Platform.self
+    proper_string(self.ISABELLE_WINDOWS_PLATFORM64).getOrElse(
+      proper_string(self.ISABELLE_APPLE_PLATFORM64).getOrElse(
+        self.ISABELLE_PLATFORM64))
+  }
+
   def default_target_dir: Path = Path.explode("$ISABELLE_COMPONENTS_BASE")
   def default_install_url: String = "https://dot.net/v1/dotnet-install"
   def default_version: String = "6.0.402"