Admin/polyml/INSTALL-MinGW
author wenzelm
Wed, 16 Mar 2016 22:19:08 +0100
changeset 62645 a2351f82bc48
parent 61071 c6ac3c3fbb85
child 64340 7f42e66c0d3d
permissions -rw-r--r--
eliminated spurious Unicode, which is in conflict with Isabelle symbol interpretation;
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
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
     8
  target c:\msys32 or c:\msys64
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
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    17
  target c:\msys32 or c:\msys64
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
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    28
- build (as regular user) e.g. on vmbroy9
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