Skip to content

Commit

Permalink
Revert "build/pkgs/flint: Reject FLINT >= 3.1.0"
Browse files Browse the repository at this point in the history
This reverts commit f713a56.
  • Loading branch information
Matthias Koeppe committed Mar 10, 2024
1 parent 82faec8 commit ee9472d
Showing 1 changed file with 3 additions and 18 deletions.
21 changes: 3 additions & 18 deletions build/pkgs/flint/spkg-configure.m4
Original file line number Diff line number Diff line change
@@ -1,26 +1,11 @@
SAGE_SPKG_CONFIGURE([flint], [
SAGE_SPKG_DEPCHECK([mpfr], [
AC_CHECK_HEADER(flint/flint.h, [dnl
AC_CHECK_HEADER(flint/flint.h, [
dnl gr_get_fexpr appears in Flint 3.0
AC_SEARCH_LIBS([gr_get_fexpr], [flint], [dnl
dnl Flint 3.1 is too new
AC_MSG_CHECKING([whether FLINT version is >= 3.1.0])
AC_COMPILE_IFELSE([dnl
AC_LANG_PROGRAM([[#include <flint/flint.h>
#if __FLINT_RELEASE >= 30100
# error "FLINT 3.1 is too new"
#endif
]])
], [dnl
AC_MSG_RESULT([no])
], [dnl
AC_MSG_RESULT([yes; too new])
sage_spkg_install_flint=yes
])
], [sage_spkg_install_flint=yes])
AC_SEARCH_LIBS([gr_get_fexpr], [flint], [], [sage_spkg_install_flint=yes])
], [sage_spkg_install_flint=yes])
])
], [], [], [dnl
], [], [], [
if test x$sage_spkg_install_flint = xyes; then
AC_SUBST(SAGE_FLINT_PREFIX, ['$SAGE_LOCAL'])
else
Expand Down

0 comments on commit ee9472d

Please sign in to comment.