switch the default mp library to gmp #30752
Description
currently the default mp library is mpir: the default --with-mp is system, and in
build/pkgs/mpir/spkg-configure.m4 we have
SAGE_SPKG_CONFIGURE([mpir], [
dnl Implement cases for what to do on different options here
case "$with_mp" in
system)
AC_CHECK_HEADER(gmp.h, [], [sage_spkg_install_mpir=yes])
...
dnl Set SAGE_MP_LIBRARY depending on the with_mp option
case "$with_mp" in
mpir|system)
SAGE_MP_LIBRARY=mpir
;;
gmp)
SAGE_MP_LIBRARY=gmp
as mpir is getting more and more bitrotten, this should be switched to gmp as the default.
Also,
--with-mp=system use the system GMP as multiprecision library, if
possible (default)
is a lie, as can be seen from above, the default is mpir, not gmp.
CC: @jhpalmieri @mkoeppe @orlitzky
Component: build: configure
Author: Dima Pasechnik, Matthias Koeppe
Branch/Commit: d2500f1
Reviewer: Matthias Koeppe, Dima Pasechnik
Issue created by migration from https://trac.sagemath.org/ticket/30752