Admin/polyml/INSTALL-MinGW
author wenzelm
Wed, 17 May 2017 13:47:19 +0200
changeset 65851 c103358a5559
parent 64340 7f42e66c0d3d
child 71117 2f6b092bbd25
permissions -rw-r--r--
tuned signature;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
60979
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
     1
MinGW for native Windows support
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
     2
================================
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
     3
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
     4
- always "Run as administrator ..."
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
     5
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
     6
- http://sourceforge.net/projects/msys2
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
     7
64340
7f42e66c0d3d minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process;
wenzelm
parents: 61071
diff changeset
     8
  target c:\msys64
60979
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
     9
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    10
- http://sourceforge.net/projects/mingw-w64
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    11
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    12
  mingw-w64-install.exe
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    13
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    14
  i686-4.9.3-win32-dwarf-rt_v4-rev0
61071
c6ac3c3fbb85 support x86_64-windows;
wenzelm
parents: 60979
diff changeset
    15
  x86_64-4.9.3-win32-seh-rt_v4-rev0
60979
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    16
64340
7f42e66c0d3d minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process;
wenzelm
parents: 61071
diff changeset
    17
  target c:\msys64
60979
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    18
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    19
- within msys shell:
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    20
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    21
    pacman --needed -Sy bash pacman pacman-mirrors msys2-runtime
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    22
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    23
  after restart of msys shell:
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    24
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    25
    pacman -Su
61071
c6ac3c3fbb85 support x86_64-windows;
wenzelm
parents: 60979
diff changeset
    26
    pacman -S make diffutils texinfo gmp-devel mingw-w64-i686-gmp mingw-w64-x86_64-gmp
60979
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    27
64340
7f42e66c0d3d minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process;
wenzelm
parents: 61071
diff changeset
    28
- build (as regular user) e.g. on vmnipkow9
60979
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    29
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    30
  isabelle/repos/Admin/polyml/build polyml-git x86-windows --build=i686-pc-msys --with-gmp
61071
c6ac3c3fbb85 support x86_64-windows;
wenzelm
parents: 60979
diff changeset
    31
  isabelle/repos/Admin/polyml/build polyml-git x86_64-windows --build=x86_64-pc-msys --with-gmp