isabelle: Admin/polyml/INSTALL-MinGW@8dffbe01a3e1 (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
72420 f6fc180e1cbd tuned --- according to instructions on Website; wenzelm parents: 71117 diff changeset	11	pacman -Syu
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
72430 8e38c8405788 clarified options; wenzelm parents: 72422 diff changeset	15	pacman -S --needed --noconfirm base-devel gmp-devel mingw-w64-x86_64-toolchain mingw-w64-x86_64-gmp mingw-w64-x86_64-lapack mingw-w64-x86_64-openblas
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
	Sat, 28 Nov 2020 15:15:53 +0100
changeset 72755	8dffbe01a3e1
parent 72430	8e38c8405788
child 77577	f78286d2e30f
permissions	-rw-r--r--