# HG changeset patch
# User wenzelm
# Date 1744656123 -7200
# Node ID 04f4b6e556209e5f595ba79846c5a1d2b96d4a1e
# Parent  5601f5cce4c6cf64a1228ed9535adda6b0dfd698# Parent  f887c0decc267b9158857703d31a9d1965657cc9
merged

diff -r 5601f5cce4c6 -r 04f4b6e55620 Admin/polyml/INSTALL-MinGW
--- a/Admin/polyml/INSTALL-MinGW	Mon Apr 14 20:19:05 2025 +0200
+++ b/Admin/polyml/INSTALL-MinGW	Mon Apr 14 20:42:03 2025 +0200
@@ -8,13 +8,12 @@
 
 - package update and installation within msys2 shell:
 
-  pacman -Syu
-
   pacman -Su
 
-  pacman -S --needed --noconfirm base-devel gmp-devel mingw-w64-x86_64-toolchain mingw-w64-x86_64-gmp mingw-w64-x86_64-lapack mingw-w64-x86_64-openblas
+  pacman -S --needed --noconfirm base-devel gmp-devel mingw-w64-ucrt-x86_64-gcc mingw-w64-ucrt-x86_64-lapack mingw-w64-ucrt-x86_64-openblas
 
-- build (as regular user) e.g. with Cygwin-Terminal from Isabelle2018
-  (to avoid address relocation problems):
+  pacman -Syu
+
+- build (as regular user):
 
     isabelle component_polyml -M /cygdrive/c/msys64
diff -r 5601f5cce4c6 -r 04f4b6e55620 src/Pure/System/mingw.scala
--- a/src/Pure/System/mingw.scala	Mon Apr 14 20:19:05 2025 +0200
+++ b/src/Pure/System/mingw.scala	Mon Apr 14 20:42:03 2025 +0200
@@ -9,7 +9,7 @@
 
 object MinGW {
   def env_prefix: String =
-    Bash.exports("PATH=/usr/bin:/bin:/mingw64/bin", "CONFIG_SITE=/mingw64/etc/config.site")
+    Bash.exports("PATH=/usr/bin:/ucrt64/bin", "CONFIG_SITE=/ucrt64/etc/config.site")
 
   val none: MinGW = new MinGW(None)
   def apply(path: Path) = new MinGW(Some(path))