# HG changeset patch
# User wenzelm
# Date 1602360291 -7200
# Node ID 8e38c8405788f35b498135d595a803b2fe6d5d38
# Parent  7924c7d2d9d95b1935a66c8c15094eb60d575245
clarified options;

diff -r 7924c7d2d9d9 -r 8e38c8405788 Admin/polyml/INSTALL-MinGW
--- 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):