# HG changeset patch
# User wenzelm
# Date 1711396527 -3600
# Node ID 9b532f06464940d5597514424e5a582c5c4d16e0
# Parent  2dcbf5cbc7a11c23ab0fe5a3b82fa2f52741f6cb
more robust: always assume x86_64 (or its emulation on ARM);

diff -r 2dcbf5cbc7a1 -r 9b532f064649 lib/scripts/isabelle-platform
--- a/lib/scripts/isabelle-platform	Mon Mar 25 20:48:10 2024 +0100
+++ b/lib/scripts/isabelle-platform	Mon Mar 25 20:55:27 2024 +0100
@@ -43,10 +43,6 @@
     ISABELLE_PLATFORM_FAMILY="windows"
     ISABELLE_WINDOWS_PLATFORM32="x86-windows"
     ISABELLE_WINDOWS_PLATFORM64="x86_64-windows"
-    case $(uname -m) in
-      x86_64)
-        ISABELLE_PLATFORM64=x86_64-cygwin
-        ;;
-    esac
+    ISABELLE_PLATFORM64=x86_64-cygwin
     ;;
 esac