Admin/polyml/INSTALL-MinGW
changeset 64340 7f42e66c0d3d
parent 61071 c6ac3c3fbb85
child 71117 2f6b092bbd25
equal deleted inserted replaced
64339:321065f9f55b 64340:7f42e66c0d3d
     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