1MinGW for native Windows support 2================================ 3 4- always "Run as administrator ..." 5 6- download from https://www.msys2.org 7 install target c:\msys64 8 9- package update and installation within msys2 shell: 10 11 pacman -Syuu 12 13 pacman -Su 14 15 pacman -S --needed base-devel gmp-devel mingw-w64-x86_64-toolchain mingw-w64-x86_64-gmp 16 17- build (as regular user) e.g. on vmnipkow9 with Cygwin-Terminal from Isabelle2018 18 (to avoid address relocation problems): 19 20 isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src 21 isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src 22