Admin/polyml/INSTALL-MinGW
author paulson <lp15@cam.ac.uk>
Fri, 14 May 2021 12:43:19 +0100
changeset 73683 60a788467639
parent 72430 8e38c8405788
permissions -rw-r--r--
strict_sorted now an abbreviation
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
71117
2f6b092bbd25 updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation;
wenzelm
parents: 64340
diff changeset
     6
- download from https://www.msys2.org
2f6b092bbd25 updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation;
wenzelm
parents: 64340
diff changeset
     7
  install target c:\msys64
60979
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
     8
71117
2f6b092bbd25 updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation;
wenzelm
parents: 64340
diff changeset
     9
- package update and installation within msys2 shell:
60979
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    10
72420
f6fc180e1cbd tuned --- according to instructions on Website;
wenzelm
parents: 71117
diff changeset
    11
  pacman -Syu
60979
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    12
71117
2f6b092bbd25 updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation;
wenzelm
parents: 64340
diff changeset
    13
  pacman -Su
60979
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    14
72430
8e38c8405788 clarified options;
wenzelm
parents: 72422
diff changeset
    15
  pacman -S --needed --noconfirm base-devel gmp-devel mingw-w64-x86_64-toolchain mingw-w64-x86_64-gmp mingw-w64-x86_64-lapack mingw-w64-x86_64-openblas
60979
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    16
71117
2f6b092bbd25 updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation;
wenzelm
parents: 64340
diff changeset
    17
- build (as regular user) e.g. on vmnipkow9 with Cygwin-Terminal from Isabelle2018
2f6b092bbd25 updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation;
wenzelm
parents: 64340
diff changeset
    18
  (to avoid address relocation problems):
60979
fb3a641bc914 clarified x86-windows setup;
wenzelm
parents:
diff changeset
    19
71117
2f6b092bbd25 updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation;
wenzelm
parents: 64340
diff changeset
    20
    isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src
2f6b092bbd25 updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation;
wenzelm
parents: 64340
diff changeset
    21
    isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src