changeset 73193 | b8e12e94cfca |
parent 72370 | e25c0a6cc335 |
child 73602 | 37243ad3ecb6 |
--- a/src/Pure/System/platform.scala Tue Jan 26 21:33:52 2021 +0100 +++ b/src/Pure/System/platform.scala Tue Jan 26 22:46:06 2021 +0100 @@ -33,6 +33,13 @@ unapply(name) getOrElse error("Bad platform family: " + quote(name)) } + def standard_platform(platform: Family.Value): String = + platform match { + case Platform.Family.linux => "x86_64-linux" + case Platform.Family.macos => "x86_64-darwin" + case Platform.Family.windows => "x86_64-cygwin" + } + /* platform identifiers */