author wenzelm
Wed, 16 Mar 2016 22:19:08 +0100
changeset 62645 a2351f82bc48
parent 61071 c6ac3c3fbb85
child 64340 7f42e66c0d3d
permissions -rw-r--r--
eliminated spurious Unicode, which is in conflict with Isabelle symbol interpretation;

MinGW for native Windows support

- always "Run as administrator ..."


  target c:\msys32 or c:\msys64




  target c:\msys32 or 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 vmbroy9

  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