--- a/src/Pure/System/isabelle_platform.scala Thu Oct 01 15:56:34 2020 +0200
+++ b/src/Pure/System/isabelle_platform.scala Thu Oct 01 16:31:22 2020 +0200
@@ -63,5 +63,9 @@
def is_macos: Boolean = ISABELLE_PLATFORM_FAMILY == "macos"
def is_windows: Boolean = ISABELLE_PLATFORM_FAMILY == "windows"
+ def arch_32: String = if (is_arm) "arm32" else "x86"
+ def arch_64: String = if (is_arm) "arm64" else "x86_64"
+ def os_name: String = if (is_macos) "darwin" else ISABELLE_PLATFORM_FAMILY
+
override def toString: String = ISABELLE_PLATFORM_FAMILY
}