--- a/src/Pure/Tools/go_setup.scala Wed Mar 27 15:38:41 2024 +0100
+++ b/src/Pure/Tools/go_setup.scala Wed Mar 27 17:04:37 2024 +0100
@@ -28,8 +28,7 @@
Platform_Info("x86_64-linux", "linux_amd64"),
Platform_Info("x86_64-windows", "windows_amd64"))
- def check_platform_spec(spec: String): String =
- Platform.check_spec(all_platforms, spec)
+ def check_platform(spec: String): String = Platform.Info.check(all_platforms, spec)
/* Go download and setup */
@@ -48,7 +47,7 @@
progress: Progress = new Progress,
force: Boolean = false
): Unit = {
- platforms.foreach(check_platform_spec)
+ platforms.foreach(check_platform)
/* component directory */
@@ -159,7 +158,7 @@
"U:" -> (arg => base_url = arg),
"V:" -> (arg => version = arg),
"f" -> (_ => force = true),
- "p:" -> (arg => platforms = space_explode(',', arg).map(check_platform_spec)))
+ "p:" -> (arg => platforms = space_explode(',', arg).map(check_platform)))
val more_args = getopts(args)
if (more_args.nonEmpty) getopts.usage()