equal
deleted
inserted
replaced
|
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 |
|
15 |
|
16 target c:\msys32 or c:\msys64 |
|
17 |
|
18 - within msys shell: |
|
19 |
|
20 pacman --needed -Sy bash pacman pacman-mirrors msys2-runtime |
|
21 |
|
22 after restart of msys shell: |
|
23 |
|
24 pacman -Su |
|
25 pacman -S make diffutils texinfo gmp-devel mingw-w64-i686-gmp |
|
26 |
|
27 - build (as regular user) e.g. on vmbroy9 |
|
28 |
|
29 isabelle/repos/Admin/polyml/build polyml-git x86-windows --build=i686-pc-msys --with-gmp |