--- a/Admin/polyml/INSTALL-MinGW Mon Aug 31 21:28:08 2015 +0200
+++ b/Admin/polyml/INSTALL-MinGW Mon Aug 31 22:28:23 2015 +0200
@@ -12,6 +12,7 @@
mingw-w64-install.exe
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
@@ -22,8 +23,9 @@
after restart of msys shell:
pacman -Su
- pacman -S make diffutils texinfo gmp-devel mingw-w64-i686-gmp
+ pacman -S make diffutils texinfo gmp-devel mingw-w64-i686-gmp mingw-w64-x86_64-gmp
- build (as regular user) e.g. on vmbroy9
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