isabelle: Admin/polyml/INSTALL-MinGW@511352b4d5d3 (annotated)

60979 fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	1	MinGW for native Windows support
fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	2	================================
fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	3
fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	4	- always "Run as administrator ..."
fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	5
fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	6	- http://sourceforge.net/projects/msys2
fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	7
64340 7f42e66c0d3d minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process; wenzelm parents: 61071 diff changeset	8	target c:\msys64
60979 fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	9
fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	10	- http://sourceforge.net/projects/mingw-w64
fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	11
fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	12	mingw-w64-install.exe
fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	13
fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	14	i686-4.9.3-win32-dwarf-rt_v4-rev0
61071 c6ac3c3fbb85 support x86_64-windows; wenzelm parents: 60979 diff changeset	15	x86_64-4.9.3-win32-seh-rt_v4-rev0
60979 fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	16
64340 7f42e66c0d3d minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process; wenzelm parents: 61071 diff changeset	17	target c:\msys64
60979 fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	18
fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	19	- within msys shell:
fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	20
fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	21	pacman --needed -Sy bash pacman pacman-mirrors msys2-runtime
fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	22
fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	23	after restart of msys shell:
fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	24
fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	25	pacman -Su
61071 c6ac3c3fbb85 support x86_64-windows; wenzelm parents: 60979 diff changeset	26	pacman -S make diffutils texinfo gmp-devel mingw-w64-i686-gmp mingw-w64-x86_64-gmp
60979 fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	27
64340 7f42e66c0d3d minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process; wenzelm parents: 61071 diff changeset	28	- build (as regular user) e.g. on vmnipkow9
60979 fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	29
fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	30	isabelle/repos/Admin/polyml/build polyml-git x86-windows --build=i686-pc-msys --with-gmp
61071 c6ac3c3fbb85 support x86_64-windows; wenzelm parents: 60979 diff changeset	31	isabelle/repos/Admin/polyml/build polyml-git x86_64-windows --build=x86_64-pc-msys --with-gmp

author	wenzelm
	Sun, 28 Apr 2019 22:22:29 +0200
changeset 70207	511352b4d5d3
parent 64340	7f42e66c0d3d
child 71117	2f6b092bbd25
permissions	-rw-r--r--