60979
|
1 |
MinGW for native Windows support
|
|
2 |
================================
|
|
3 |
|
|
4 |
- always "Run as administrator ..."
|
|
5 |
|
|
6 |
- http://sourceforge.net/projects/msys2
|
|
7 |
|
|
8 |
target c:\msys32 or c:\msys64
|
|
9 |
|
|
10 |
- http://sourceforge.net/projects/mingw-w64
|
|
11 |
|
|
12 |
mingw-w64-install.exe
|
|
13 |
|
|
14 |
i686-4.9.3-win32-dwarf-rt_v4-rev0
|
61071
|
15 |
x86_64-4.9.3-win32-seh-rt_v4-rev0
|
60979
|
16 |
|
|
17 |
target c:\msys32 or c:\msys64
|
|
18 |
|
|
19 |
- within msys shell:
|
|
20 |
|
|
21 |
pacman --needed -Sy bash pacman pacman-mirrors msys2-runtime
|
|
22 |
|
|
23 |
after restart of msys shell:
|
|
24 |
|
|
25 |
pacman -Su
|
61071
|
26 |
pacman -S make diffutils texinfo gmp-devel mingw-w64-i686-gmp mingw-w64-x86_64-gmp
|
60979
|
27 |
|
|
28 |
- build (as regular user) e.g. on vmbroy9
|
|
29 |
|
|
30 |
isabelle/repos/Admin/polyml/build polyml-git x86-windows --build=i686-pc-msys --with-gmp
|
61071
|
31 |
isabelle/repos/Admin/polyml/build polyml-git x86_64-windows --build=x86_64-pc-msys --with-gmp
|