Mercurial Mercurial > repos > isabelle / comparison
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
changeset 80145 0eff7d113549
parent 80144 cfe18c31725c
equal deleted inserted replaced
80144:cfe18c31725c 80145:0eff7d113549 
    12 
    12 
    13   pacman -Su
 
    13   pacman -Su
 
    14 
    14 
    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
 
    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
 
    16 
    16 
    17 - build (as regular user) e.g. on vmnipkow9 with Cygwin-Terminal from Isabelle2018
 
    17 - build (as regular user) e.g. with Cygwin-Terminal from Isabelle2018
 
    18   (to avoid address relocation problems):
 
    18   (to avoid address relocation problems):
 
    19 
    19 
    20     isabelle component_polyml -M /cygdrive/c/msys64
 
    20     isabelle component_polyml -M /cygdrive/c/msys64
isabelle