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.
detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within app bundle;
authorwenzelm
Wed, 06 Jan 2021 16:50:53 +0100
changeset 73091 bf573ed376ef
parent 73090 9db6072eb711
child 73092 131ab1a941dd
detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within app bundle;
lib/scripts/isabelle-platform file | annotate | diff | comparison | revisions 
--- a/lib/scripts/isabelle-platform	Wed Jan 06 16:14:05 2021 +0100
+++ b/lib/scripts/isabelle-platform	Wed Jan 06 16:50:53 2021 +0100
@@ -35,8 +35,8 @@
         ;;
       *)
         ISABELLE_PLATFORM64=x86_64-darwin
-        case $(uname -m) in
-          arm64)
+        case $(uname -a) in
+          *arm64*|*ARM64*)
             ISABELLE_APPLE_PLATFORM64=arm64-darwin
             ;;
           *)
isabelle