diff -r 68902f8a1ef0 -r f4bd6f123fdf src/Pure/System/isabelle_platform.scala
--- 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
 }