Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper test, following Platform.is_linux;
authorwenzelm
Tue, 21 Feb 2023 11:19:39 +0100
changeset 77328 f30e050d4ac6
parent 77327 089720dddded
child 77329 1b7c5d4b97a8
proper test, following Platform.is_linux;
src/Pure/System/isabelle_platform.scala file | annotate | diff | comparison | revisions 
--- 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