Admin/polyml/INSTALL-MinGW
author wenzelm
Wed, 17 May 2017 13:47:19 +0200
changeset 65851 c103358a5559
parent 64340 7f42e66c0d3d
child 71117 2f6b092bbd25
permissions -rw-r--r--
tuned signature;

MinGW for native Windows support
================================

- always "Run as administrator ..."

- http://sourceforge.net/projects/msys2

  target c:\msys64

- http://sourceforge.net/projects/mingw-w64

  mingw-w64-install.exe

  i686-4.9.3-win32-dwarf-rt_v4-rev0
  x86_64-4.9.3-win32-seh-rt_v4-rev0

  target c:\msys64

- within msys shell:

    pacman --needed -Sy bash pacman pacman-mirrors msys2-runtime

  after restart of msys shell:

    pacman -Su
    pacman -S make diffutils texinfo gmp-devel mingw-w64-i686-gmp mingw-w64-x86_64-gmp

- build (as regular user) e.g. on vmnipkow9

  isabelle/repos/Admin/polyml/build polyml-git x86-windows --build=i686-pc-msys --with-gmp
  isabelle/repos/Admin/polyml/build polyml-git x86_64-windows --build=x86_64-pc-msys --with-gmp