isabelle: Admin/polyml/INSTALL-MinGW@2f6b092bbd25 (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
71117 2f6b092bbd25 updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation; wenzelm parents: 64340 diff changeset	6	- download from https://www.msys2.org
2f6b092bbd25 updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation; wenzelm parents: 64340 diff changeset	7	install target c:\msys64
60979 fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	8
71117 2f6b092bbd25 updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation; wenzelm parents: 64340 diff changeset	9	- package update and installation within msys2 shell:
60979 fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	10
71117 2f6b092bbd25 updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation; wenzelm parents: 64340 diff changeset	11	pacman -Syuu
60979 fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	12
71117 2f6b092bbd25 updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation; wenzelm parents: 64340 diff changeset	13	pacman -Su
60979 fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	14
71117 2f6b092bbd25 updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation; wenzelm parents: 64340 diff changeset	15	pacman -S --needed base-devel gmp-devel mingw-w64-x86_64-toolchain mingw-w64-x86_64-gmp
60979 fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	16
71117 2f6b092bbd25 updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation; wenzelm parents: 64340 diff changeset	17	- build (as regular user) e.g. on vmnipkow9 with Cygwin-Terminal from Isabelle2018
2f6b092bbd25 updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation; wenzelm parents: 64340 diff changeset	18	(to avoid address relocation problems):
60979 fb3a641bc914 clarified x86-windows setup; wenzelm parents: diff changeset	19
71117 2f6b092bbd25 updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation; wenzelm parents: 64340 diff changeset	20	isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src
2f6b092bbd25 updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation; wenzelm parents: 64340 diff changeset	21	isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src

author	wenzelm
	Thu, 14 Nov 2019 11:43:46 +0100
changeset 71117	2f6b092bbd25
parent 64340	7f42e66c0d3d
child 72420	f6fc180e1cbd
permissions	-rw-r--r--