author | wenzelm |
Wed, 06 Jan 2021 16:50:53 +0100 | |
changeset 73091 | bf573ed376ef |
parent 73090 | 9db6072eb711 |
child 73092 | 131ab1a941dd |
--- 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 ;; *)