--- a/Admin/polyml/INSTALL-MinGW Mon Apr 14 13:57:48 2025 +0200
+++ b/Admin/polyml/INSTALL-MinGW Mon Apr 14 20:04:40 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
--- a/src/Pure/System/mingw.scala Mon Apr 14 13:57:48 2025 +0200
+++ b/src/Pure/System/mingw.scala Mon Apr 14 20:04:40 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))