author wenzelm
Thu, 14 Nov 2019 11:43:46 +0100
changeset 71117 2f6b092bbd25
parent 64340 7f42e66c0d3d
child 72420 f6fc180e1cbd
permissions -rw-r--r--
updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation;

MinGW for native Windows support

- always "Run as administrator ..."

- download from
  install target c:\msys64

- package update and installation within msys2 shell:

  pacman -Syuu

  pacman -Su

  pacman -S --needed base-devel gmp-devel mingw-w64-x86_64-toolchain mingw-w64-x86_64-gmp

- 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