# HG changeset patch
# User wenzelm
# Date 1609948253 -3600
# Node ID bf573ed376ef9582e3101c0cc2e416766aade8ee
# Parent  9db6072eb7119fd0b399cc0c33a90b776fb59d7e
detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within app bundle;

diff -r 9db6072eb711 -r bf573ed376ef lib/scripts/isabelle-platform
--- 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
             ;;
           *)