From ae514f39fc7e55eddc5c9d7a11e454386095c2b3 Mon Sep 17 00:00:00 2001 From: Marc Mezzarobba Date: Mon, 13 Nov 2023 09:53:55 +0100 Subject: [PATCH] stricter gmp version check, for flint3's benefit --- build/pkgs/gmp/spkg-configure.m4 | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/build/pkgs/gmp/spkg-configure.m4 b/build/pkgs/gmp/spkg-configure.m4 index 61d7c5f3b2f..4000200db2c 100644 --- a/build/pkgs/gmp/spkg-configure.m4 +++ b/build/pkgs/gmp/spkg-configure.m4 @@ -2,8 +2,10 @@ SAGE_SPKG_CONFIGURE([gmp], [ sage_spkg_install_gmp=no AC_CHECK_HEADER(gmp.h, [], [sage_spkg_install_gmp=yes]) AC_CHECK_HEADER(gmpxx.h, [], [sage_spkg_install_gmp=yes]) - dnl mpq_cmp_z appeared in GMP 6.1.0 and is used by pynac - AC_SEARCH_LIBS([__gmpq_cmp_z], [gmp], [], + dnl mpn_gcd_11 appeared in GMP 6.2.1 + dnl It is undocumented but is used by Flint when built with default + dnl flags. + AC_SEARCH_LIBS([__gmpn_gcd_11], [gmp], [], [sage_spkg_install_gmp=yes]) ], [], [], [ if test x$sage_spkg_install_gmp = xyes; then