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