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 -Su

  pacman -S --needed --noconfirm base-devel gmp-devel mingw-w64-ucrt-x86_64-gcc mingw-w64-ucrt-x86_64-lapack mingw-w64-ucrt-x86_64-openblas

  pacman -Syu

- build (as regular user):

    isabelle component_polyml -M /cygdrive/c/msys64
