Admin/polyml/INSTALL-MinGW
author wenzelm
Tue, 20 Apr 2021 22:53:24 +0200
changeset 73593 e60333aa18ca
parent 72430 8e38c8405788
permissions -rw-r--r--
proper use of antiquotations;

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