Admin/polyml/INSTALL-MinGW
author blanchet
Tue Nov 07 15:16:41 2017 +0100 (20 months ago)
changeset 67021 41f1f8c4259b
parent 64340 7f42e66c0d3d
permissions -rw-r--r--
integrated Leo-III in Sledgehammer (thanks to Alexander Steen for the patch)
wenzelm@60979
     1
MinGW for native Windows support
wenzelm@60979
     2
================================
wenzelm@60979
     3
wenzelm@60979
     4
- always "Run as administrator ..."
wenzelm@60979
     5
wenzelm@60979
     6
- http://sourceforge.net/projects/msys2
wenzelm@60979
     7
wenzelm@64340
     8
  target c:\msys64
wenzelm@60979
     9
wenzelm@60979
    10
- http://sourceforge.net/projects/mingw-w64
wenzelm@60979
    11
wenzelm@60979
    12
  mingw-w64-install.exe
wenzelm@60979
    13
wenzelm@60979
    14
  i686-4.9.3-win32-dwarf-rt_v4-rev0
wenzelm@61071
    15
  x86_64-4.9.3-win32-seh-rt_v4-rev0
wenzelm@60979
    16
wenzelm@64340
    17
  target c:\msys64
wenzelm@60979
    18
wenzelm@60979
    19
- within msys shell:
wenzelm@60979
    20
wenzelm@60979
    21
    pacman --needed -Sy bash pacman pacman-mirrors msys2-runtime
wenzelm@60979
    22
wenzelm@60979
    23
  after restart of msys shell:
wenzelm@60979
    24
wenzelm@60979
    25
    pacman -Su
wenzelm@61071
    26
    pacman -S make diffutils texinfo gmp-devel mingw-w64-i686-gmp mingw-w64-x86_64-gmp
wenzelm@60979
    27
wenzelm@64340
    28
- build (as regular user) e.g. on vmnipkow9
wenzelm@60979
    29
wenzelm@60979
    30
  isabelle/repos/Admin/polyml/build polyml-git x86-windows --build=i686-pc-msys --with-gmp
wenzelm@61071
    31
  isabelle/repos/Admin/polyml/build polyml-git x86_64-windows --build=x86_64-pc-msys --with-gmp