Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process;
authorwenzelm
Fri, 21 Oct 2016 21:03:17 +0200
changeset 64340 7f42e66c0d3d
parent 64339 321065f9f55b
child 64341 45b6faeee56d
minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process;
Admin/polyml/INSTALL-MinGW file | annotate | diff | comparison | revisions 
--- 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
isabelle