MinGW for native Windows support ================================ - always "Run as administrator ..." - download from https://www.msys2.org install target c:\msys64 - package update and installation within msys2 shell: pacman -Syu pacman -Su 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 - build (as regular user) e.g. on vmnipkow9 with Cygwin-Terminal from Isabelle2018 (to avoid address relocation problems): isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src