# HG changeset patch
# User wenzelm
# Date 1711397066 -3600
# Node ID e94a36467f4ee4be5da1eeabc206c7543903ca48
# Parent  9b532f06464940d5597514424e5a582c5c4d16e0
obsolete: base-line is macOS 11;

diff -r 9b532f064649 -r e94a36467f4e lib/scripts/isabelle-platform
--- 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
     ;;