--- a/Admin/polyml/INSTALL-MinGW Sat Oct 10 21:51:53 2020 +0200
+++ b/Admin/polyml/INSTALL-MinGW Sat Oct 10 22:04:51 2020 +0200
@@ -12,7 +12,7 @@
pacman -Su
- pacman -S --needed 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-x86_64-toolchain mingw-w64-x86_64-gmp mingw-w64-x86_64-lapack mingw-w64-x86_64-openblas
- build (as regular user) e.g. on vmnipkow9 with Cygwin-Terminal from Isabelle2018
(to avoid address relocation problems):