Skip to content

Commit 19ceb28

Browse files
committed
allow flint 3.3.*
1 parent dd328e8 commit 19ceb28

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

build/pkgs/flint/spkg-configure.m4

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,12 +3,12 @@ SAGE_SPKG_CONFIGURE([flint], [
33
AC_CHECK_HEADERS([flint/flint.h flint/padic.h], [dnl
44
dnl gr_get_fexpr appears in Flint 3.0
55
AC_SEARCH_LIBS([gr_get_fexpr], [flint], [dnl
6-
dnl Assume Flint 3.3 is too new
7-
AC_MSG_CHECKING([whether FLINT version is >= 3.3.0])
6+
dnl Assume Flint 3.4 is too new
7+
AC_MSG_CHECKING([whether FLINT version is >= 3.4.0])
88
AC_COMPILE_IFELSE([dnl
99
AC_LANG_PROGRAM([[#include <flint/flint.h>
10-
#if __FLINT_RELEASE >= 30300
11-
# error "FLINT 3.3 is too new"
10+
#if __FLINT_RELEASE > 30399
11+
# error "FLINT 3.4 is too new"
1212
#endif
1313
]])
1414
], [dnl

0 commit comments

Comments
 (0)