# HG changeset patch
# User wenzelm
# Date 1440013890 -7200
# Node ID fb3a641bc914ffe1b636ea18cd72267567d398c2
# Parent  a0da65429a76d54d90782133aca176e16b9946a3
clarified x86-windows setup;

diff -r a0da65429a76 -r fb3a641bc914 Admin/polyml/INSTALL-MinGW
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/polyml/INSTALL-MinGW	Wed Aug 19 21:51:30 2015 +0200
@@ -0,0 +1,29 @@
+MinGW for native Windows support
+================================
+
+- always "Run as administrator ..."
+
+- http://sourceforge.net/projects/msys2
+
+  target c:\msys32 or c:\msys64
+
+- http://sourceforge.net/projects/mingw-w64
+
+  mingw-w64-install.exe
+
+  i686-4.9.3-win32-dwarf-rt_v4-rev0
+
+  target c:\msys32 or c:\msys64
+
+- within msys shell:
+
+    pacman --needed -Sy bash pacman pacman-mirrors msys2-runtime
+
+  after restart of msys shell:
+
+    pacman -Su
+    pacman -S make diffutils texinfo gmp-devel mingw-w64-i686-gmp
+
+- build (as regular user) e.g. on vmbroy9
+
+  isabelle/repos/Admin/polyml/build polyml-git x86-windows --build=i686-pc-msys --with-gmp
diff -r a0da65429a76 -r fb3a641bc914 Admin/polyml/build
--- a/Admin/polyml/build	Wed Aug 19 20:41:23 2015 +0200
+++ b/Admin/polyml/build	Wed Aug 19 21:51:30 2015 +0200
@@ -96,7 +96,7 @@
     peflags -x8192000 -z500 "$TARGET/poly.exe"
     ;;
   x86-windows)
-    for X in libgcc_s_dw2-1.dll libgmp-10.dll libstdc++-6.dll libwinpthread-1.dll
+    for X in libgcc_s_dw2-1.dll libgmp-10.dll libstdc++-6.dll
     do
       cp "/mingw32/bin/$X" "$TARGET/."
     done