# HG changeset patch # User wenzelm # Date 1602356169 -7200 # Node ID 9d59738102b8c13b41ef6b0866c9d4993a9d98ea # Parent 9a8bc089890d99ed0c83c8acf9e25f3a9744a4c8 more libs for build_csdp; diff -r 9a8bc089890d -r 9d59738102b8 Admin/polyml/INSTALL-MinGW --- 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):