flintlib / arb

Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
http://arblib.org/
GNU Lesser General Public License v2.1
456 stars 137 forks source link

clean mingw64 build #393

Closed ahrvoje closed 5 months ago

ahrvoje commented 2 years ago

MSYS2 mingw-w64-x86_64-gcc build of 64-bit shared arb.dll library is not cleaned properly. libarb-2.dll file is not removed from src folder after make clean and make distclean which interrupts future builds.

The file has to be deleted manually every time so the build process can again work as expected.

Win11 64bit MSYS2 x86_64 20210725 mingw-w64-x86_64-gcc gcc version 11.2.0 (Rev2, Built by MSYS2 project) gmp-6.2.1 mpfr-4.1.0 flint-2.8.4 arb-2.21.1