Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/polyml/INSTALL-MinGW
author haftmann
Fri, 01 Aug 2025 20:01:55 +0200
changeset 82912 ad66fb23998a
parent 82511 f887c0decc26
permissions -rw-r--r--
prefer sign-agnostic conversion following bit structure

MinGW for native Windows support
================================

- always "Run as administrator ..."

- download from https://www.msys2.org
  install target c:\msys64

- package update and installation within msys2 shell:

  pacman -Su

  pacman -S --needed --noconfirm base-devel gmp-devel mingw-w64-ucrt-x86_64-gcc mingw-w64-ucrt-x86_64-lapack mingw-w64-ucrt-x86_64-openblas

  pacman -Syu

- build (as regular user):

    isabelle component_polyml -M /cygdrive/c/msys64
isabelle