# HG changeset patch
# User wenzelm
# Date 1477076597 -7200
# Node ID 7f42e66c0d3dcdc697b79abedea3a60b60e9ae9e
# Parent  321065f9f55b6459c31a7651fbd134821353bdd6
minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process;

diff -r 321065f9f55b -r 7f42e66c0d3d Admin/polyml/INSTALL-MinGW
--- a/Admin/polyml/INSTALL-MinGW	Fri Oct 21 20:58:51 2016 +0200
+++ b/Admin/polyml/INSTALL-MinGW	Fri Oct 21 21:03:17 2016 +0200
@@ -5,7 +5,7 @@
 
 - http://sourceforge.net/projects/msys2
 
-  target c:\msys32 or c:\msys64
+  target c:\msys64
 
 - http://sourceforge.net/projects/mingw-w64
 
@@ -14,7 +14,7 @@
   i686-4.9.3-win32-dwarf-rt_v4-rev0
   x86_64-4.9.3-win32-seh-rt_v4-rev0
 
-  target c:\msys32 or c:\msys64
+  target c:\msys64
 
 - within msys shell:
 
@@ -25,7 +25,7 @@
     pacman -Su
     pacman -S make diffutils texinfo gmp-devel mingw-w64-i686-gmp mingw-w64-x86_64-gmp
 
-- build (as regular user) e.g. on vmbroy9
+- build (as regular user) e.g. on vmnipkow9
 
   isabelle/repos/Admin/polyml/build polyml-git x86-windows --build=i686-pc-msys --with-gmp
   isabelle/repos/Admin/polyml/build polyml-git x86_64-windows --build=x86_64-pc-msys --with-gmp