Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/isabelle_platform.scala
changeset 79556 0631dfc0db07
parent 79548 a33a6e541cbb
child 79562 ceaef5bae253 
--- a/src/Pure/System/isabelle_platform.scala	Tue Jan 30 22:43:10 2024 +0100
+++ b/src/Pure/System/isabelle_platform.scala	Wed Jan 31 12:43:06 2024 +0100
@@ -52,11 +52,9 @@
     if (family0 == "linux" && is_arm) "linux_arm" else family0
   }
 
-  def is_linux: Boolean =
-    ISABELLE_PLATFORM_FAMILY == "linux" ||
-    ISABELLE_PLATFORM_FAMILY == "linux_arm"
-  def is_macos: Boolean = ISABELLE_PLATFORM_FAMILY == "macos"
-  def is_windows: Boolean = ISABELLE_PLATFORM_FAMILY == "windows"
+  def is_linux: Boolean = ISABELLE_PLATFORM_FAMILY.startsWith("linux")
+  def is_macos: Boolean = ISABELLE_PLATFORM_FAMILY.startsWith("macos")
+  def is_windows: Boolean = ISABELLE_PLATFORM_FAMILY.startsWith("windows")
 
   def arch_64: String = if (is_arm) "arm64" else "x86_64"
   def arch_64_32: String = if (is_arm) "arm64_32" else "x86_64_32"
isabelle