author wenzelm
Fri, 21 Oct 2016 21:03:17 +0200
changeset 64340 7f42e66c0d3d
parent 61071 c6ac3c3fbb85
child 71117 2f6b092bbd25
permissions -rw-r--r--
minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process;

MinGW for native Windows support

- always "Run as administrator ..."


  target c:\msys64




  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