Skip to content

Commit

Permalink
stricter gmp version check, for flint3's benefit
Browse files Browse the repository at this point in the history
  • Loading branch information
mezzarobba committed Nov 13, 2023
1 parent a57fc37 commit ae514f3
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions build/pkgs/gmp/spkg-configure.m4
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit ae514f3

Please sign in to comment.