Skip to content

Commit fc0d339

Browse files
author
Release Manager
committed
gh-37495: build/pkgs/flint: Reject FLINT >= 3.1.0 <!-- ^ Please provide a concise and informative title. --> <!-- ^ Don't put issue numbers in the title, do this in the PR description below. --> <!-- ^ For example, instead of "Fixes #12345" use "Introduce new method to calculate 1 + 2". --> <!-- v Describe your changes below in detail. --> <!-- v Why is this change required? What problem does it solve? --> <!-- v If this PR resolves an open issue, please link to it here. For example, "Fixes #12345". --> Because our Singular does not support it yet, see #37203 ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about. - [ ] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation accordingly. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on. For example, --> <!-- - #12345: short description why this is a dependency --> <!-- - #34567: ... --> URL: #37495 Reported by: Matthias Köppe Reviewer(s):
2 parents 4ac7152 + f713a56 commit fc0d339

File tree

1 file changed

+18
-3
lines changed

1 file changed

+18
-3
lines changed

build/pkgs/flint/spkg-configure.m4

Lines changed: 18 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,26 @@
11
SAGE_SPKG_CONFIGURE([flint], [
22
SAGE_SPKG_DEPCHECK([mpfr], [
3-
AC_CHECK_HEADER(flint/flint.h, [
3+
AC_CHECK_HEADER(flint/flint.h, [dnl
44
dnl gr_get_fexpr appears in Flint 3.0
5-
AC_SEARCH_LIBS([gr_get_fexpr], [flint], [], [sage_spkg_install_flint=yes])
5+
AC_SEARCH_LIBS([gr_get_fexpr], [flint], [dnl
6+
dnl Flint 3.1 is too new
7+
AC_MSG_CHECKING([whether FLINT version is >= 3.1.0])
8+
AC_COMPILE_IFELSE([dnl
9+
AC_LANG_PROGRAM([[#include <flint/flint.h>
10+
#if __FLINT_RELEASE >= 30100
11+
# error "FLINT 3.1 is too new"
12+
#endif
13+
]])
14+
], [dnl
15+
AC_MSG_RESULT([no])
16+
], [dnl
17+
AC_MSG_RESULT([yes; too new])
18+
sage_spkg_install_flint=yes
19+
])
20+
], [sage_spkg_install_flint=yes])
621
], [sage_spkg_install_flint=yes])
722
])
8-
], [], [], [
23+
], [], [], [dnl
924
if test x$sage_spkg_install_flint = xyes; then
1025
AC_SUBST(SAGE_FLINT_PREFIX, ['$SAGE_LOCAL'])
1126
else

0 commit comments

Comments
 (0)