--- a/lib/scripts/isabelle-platform Mon Mar 25 20:55:27 2024 +0100
+++ b/lib/scripts/isabelle-platform Mon Mar 25 21:04:26 2024 +0100
@@ -23,19 +23,12 @@
;;
Darwin)
ISABELLE_PLATFORM_FAMILY="macos"
- case $(sw_vers -productVersion) in
- 10.10*|10.11*|10.12*|10.13*|10.14*)
- ISABELLE_PLATFORM64=x86_64-darwin
+ ISABELLE_PLATFORM64=x86_64-darwin
+ case $(uname -a) in
+ *arm64*|*ARM64*)
+ ISABELLE_APPLE_PLATFORM64=arm64-darwin
;;
*)
- ISABELLE_PLATFORM64=x86_64-darwin
- case $(uname -a) in
- *arm64*|*ARM64*)
- ISABELLE_APPLE_PLATFORM64=arm64-darwin
- ;;
- *)
- ;;
- esac
;;
esac
;;