--- a/src/Pure/Tools/dotnet_setup.scala Tue Mar 26 17:06:23 2024 +0100
+++ b/src/Pure/Tools/dotnet_setup.scala Tue Mar 26 17:27:35 2024 +0100
@@ -36,13 +36,8 @@
/* dotnet download and setup */
- 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_platform: String =
+ Isabelle_Platform.self.ISABELLE_PLATFORM(windows = true, apple = true)
def default_target_dir: Path = Components.default_components_base
def default_install_url: String = "https://dot.net/v1/dotnet-install"
def default_version: String = Isabelle_System.getenv_strict("ISABELLE_DOTNET_VERSION")