# HG changeset patch
# User wenzelm
# Date 1608814995 -3600
# Node ID f6051c13bffaaf85649bdbb65e5e84a3b8097c8a
# Parent  7ea253f9360609926c2f364daf460b7d7fb2382f
support ISABELLE_APPLE_PLATFORM64 (Apple Silicon);

diff -r 7ea253f93606 -r f6051c13bffa lib/scripts/isabelle-platform
--- a/lib/scripts/isabelle-platform	Thu Dec 24 13:03:51 2020 +0100
+++ b/lib/scripts/isabelle-platform	Thu Dec 24 14:03:15 2020 +0100
@@ -6,6 +6,7 @@
 ISABELLE_PLATFORM_FAMILY=""
 ISABELLE_PLATFORM32=""
 ISABELLE_PLATFORM64=""
+ISABELLE_APPLE_PLATFORM64=""
 ISABELLE_WINDOWS_PLATFORM32=""
 ISABELLE_WINDOWS_PLATFORM64=""
 
@@ -34,6 +35,13 @@
         ;;
       *)
         ISABELLE_PLATFORM64=x86_64-darwin
+        case $(uname -m) in
+          arm64)
+            ISABELLE_APPLE_PLATFORM64=arm64-darwin
+            ;;
+          *)
+            ;;
+        esac
         ;;
     esac
     ;;