Skip to content

Commit ac0e314

Browse files
committed
Support flint 3.2 spkg-configure
1 parent 871ba9d commit ac0e314

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.2 is too new
7-
AC_MSG_CHECKING([whether FLINT version is >= 3.2.0])
6+
dnl Assume Flint 3.3 is too new
7+
AC_MSG_CHECKING([whether FLINT version is >= 3.3.0])
88
AC_COMPILE_IFELSE([dnl
99
AC_LANG_PROGRAM([[#include <flint/flint.h>
10-
#if __FLINT_RELEASE >= 30200
11-
# error "FLINT 3.2 is too new"
10+
#if __FLINT_RELEASE >= 30300
11+
# error "FLINT 3.3 is too new"
1212
#endif
1313
]])
1414
], [dnl

0 commit comments

Comments
 (0)