equal
deleted
inserted
replaced
10 - http://sourceforge.net/projects/mingw-w64 |
10 - http://sourceforge.net/projects/mingw-w64 |
11 |
11 |
12 mingw-w64-install.exe |
12 mingw-w64-install.exe |
13 |
13 |
14 i686-4.9.3-win32-dwarf-rt_v4-rev0 |
14 i686-4.9.3-win32-dwarf-rt_v4-rev0 |
|
15 x86_64-4.9.3-win32-seh-rt_v4-rev0 |
15 |
16 |
16 target c:\msys32 or c:\msys64 |
17 target c:\msys32 or c:\msys64 |
17 |
18 |
18 - within msys shell: |
19 - within msys shell: |
19 |
20 |
20 pacman --needed -Sy bash pacman pacman-mirrors msys2-runtime |
21 pacman --needed -Sy bash pacman pacman-mirrors msys2-runtime |
21 |
22 |
22 after restart of msys shell: |
23 after restart of msys shell: |
23 |
24 |
24 pacman -Su |
25 pacman -Su |
25 pacman -S make diffutils texinfo gmp-devel mingw-w64-i686-gmp |
26 pacman -S make diffutils texinfo gmp-devel mingw-w64-i686-gmp mingw-w64-x86_64-gmp |
26 |
27 |
27 - build (as regular user) e.g. on vmbroy9 |
28 - build (as regular user) e.g. on vmbroy9 |
28 |
29 |
29 isabelle/repos/Admin/polyml/build polyml-git x86-windows --build=i686-pc-msys --with-gmp |
30 isabelle/repos/Admin/polyml/build polyml-git x86-windows --build=i686-pc-msys --with-gmp |
|
31 isabelle/repos/Admin/polyml/build polyml-git x86_64-windows --build=x86_64-pc-msys --with-gmp |