src/Pure/System/platform.scala
changeset 73439 b8e12e94cfca
parent 72603 e25c0a6cc335
child 73858 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 */