equal
deleted
inserted
replaced
3 |
3 |
4 - always "Run as administrator ..." |
4 - always "Run as administrator ..." |
5 |
5 |
6 - http://sourceforge.net/projects/msys2 |
6 - http://sourceforge.net/projects/msys2 |
7 |
7 |
8 target c:\msys32 or c:\msys64 |
8 target c:\msys64 |
9 |
9 |
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 x86_64-4.9.3-win32-seh-rt_v4-rev0 |
16 |
16 |
17 target c:\msys32 or c:\msys64 |
17 target c:\msys64 |
18 |
18 |
19 - within msys shell: |
19 - within msys shell: |
20 |
20 |
21 pacman --needed -Sy bash pacman pacman-mirrors msys2-runtime |
21 pacman --needed -Sy bash pacman pacman-mirrors msys2-runtime |
22 |
22 |
23 after restart of msys shell: |
23 after restart of msys shell: |
24 |
24 |
25 pacman -Su |
25 pacman -Su |
26 pacman -S make diffutils texinfo gmp-devel mingw-w64-i686-gmp mingw-w64-x86_64-gmp |
26 pacman -S make diffutils texinfo gmp-devel mingw-w64-i686-gmp mingw-w64-x86_64-gmp |
27 |
27 |
28 - build (as regular user) e.g. on vmbroy9 |
28 - build (as regular user) e.g. on vmnipkow9 |
29 |
29 |
30 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 |
31 isabelle/repos/Admin/polyml/build polyml-git x86_64-windows --build=x86_64-pc-msys --with-gmp |