Admin/polyml/INSTALL-MinGW
changeset 61071 c6ac3c3fbb85
parent 60979 fb3a641bc914
child 64340 7f42e66c0d3d
--- 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