isabelle: Admin/polyml/INSTALL-MinGW@e7a77c795cf9 (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
80145 0eff7d113549 update Windows build host; wenzelm parents: 80144 diff changeset	17	- build (as regular user) e.g. with Cygwin-Terminal from Isabelle2018
71117 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
80144 cfe18c31725c proper command-line; wenzelm parents: 77577 diff changeset	20	isabelle component_polyml -M /cygdrive/c/msys64

author	haftmann
	Thu, 09 Jan 2025 08:33:11 +0100
changeset 81754	e7a77c795cf9
parent 80145	0eff7d113549
permissions	-rw-r--r--