changeset 72999 | f6051c13bffa |
parent 72370 | e25c0a6cc335 |
child 73091 | bf573ed376ef |
--- 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 ;;