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 77328 f30e050d4ac6
parent 75393 87ebf5a50283
child 79548 a33a6e541cbb 
--- a/src/Pure/System/isabelle_platform.scala	Tue Feb 21 11:07:00 2023 +0100
+++ b/src/Pure/System/isabelle_platform.scala	Tue Feb 21 11:19:39 2023 +0100
@@ -48,7 +48,9 @@
     ISABELLE_PLATFORM64.startsWith("arm64-") ||
     ISABELLE_APPLE_PLATFORM64.startsWith("arm64-")
 
-  def is_linux: Boolean = ISABELLE_PLATFORM_FAMILY == "linux"
+  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"
isabelle