Mercurial Mercurial > repos > isabelle / diff
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 72422 9d59738102b8
parent 72420 f6fc180e1cbd
child 72430 8e38c8405788 
--- a/Admin/polyml/INSTALL-MinGW	Sat Oct 10 20:31:54 2020 +0200
+++ b/Admin/polyml/INSTALL-MinGW	Sat Oct 10 20:56:09 2020 +0200
@@ -12,7 +12,7 @@
 
   pacman -Su
 
-  pacman -S --needed base-devel gmp-devel mingw-w64-x86_64-toolchain mingw-w64-x86_64-gmp
+  pacman -S --needed base-devel gmp-devel mingw-w64-x86_64-toolchain mingw-w64-x86_64-gmp mingw-w64-x86_64-lapack mingw-w64-x86_64-openblas
 
 - build (as regular user) e.g. on vmnipkow9 with Cygwin-Terminal from Isabelle2018
   (to avoid address relocation problems):
isabelle