Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

flint spkg-configure should test that flint is built with NTL support #35993

Closed
mezzarobba opened this issue Jul 27, 2023 · 2 comments · Fixed by #35848
Closed

flint spkg-configure should test that flint is built with NTL support #35993

mezzarobba opened this issue Jul 27, 2023 · 2 comments · Fixed by #35848

Comments

@mezzarobba
Copy link
Member

The NTL interface in Flint is an optional component that must be enabled at build time (at least with flint3; I haven't checked if this was the case with earlier versions), but Sage requires the NTL interface, so we should test that the system installation of flint is built with NTL support before linking to it.

@mkoeppe
Copy link
Member

mkoeppe commented Jul 27, 2023

@mezzarobba
Copy link
Member Author

mezzarobba commented Jul 27, 2023 via email

vbraun pushed a commit to vbraun/sage that referenced this issue Dec 4, 2023
    
Upgrade to flint3.

Current Sage versions are not compatible with flint ≥ 3, and, though the
diff is not huge, there are enough changes that versions including this
PR will be incompatible with flint < 3.

Fixes sagemath#20003.
Closes sagemath#35993 as no longer relevant.

Related PRs in upstream projects:
* Singular/Singular#1177
* flintlib/flint#1408
* flintlib/flint#1489
* flintlib/flint#1492
* flintlib/flint#1611
* algebraic-solving/msolve#76
* flatsurf/e-antic#264

Additional changes still needed for optional packages to work:
* sagemath#36677
* upgrade e-antic
* possibly more

Planned follow-ups:
* sagemath#36449
* sagemath#36433
    
URL: sagemath#35848
Reported by: Marc Mezzarobba
Reviewer(s): Vincent Delecroix
@vbraun vbraun closed this as completed in a7b9ebc Dec 6, 2023
@mkoeppe mkoeppe added this to the sage-10.3 milestone Dec 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants