-
-
Notifications
You must be signed in to change notification settings - Fork 629
Upgrade to flint-3.3.0 #40259
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
base: develop
Are you sure you want to change the base?
Upgrade to flint-3.3.0 #40259
Conversation
eclib needs patching too (builds fine but crashes at runtime) JohnCremona/eclib#87 |
Documentation preview for this PR (built with commit bd8c9ab; changes) is ready! 🎉 |
bb2f8f8
to
71228c8
Compare
71228c8
to
4966f07
Compare
This PR now works for me, but doesn't fix #40253 when using gcc 15 |
I will shortly be merging @antonio-rojas 's eclib patch there, so either that patch needs to applied in Sage, or I canmake a new eclib release which Sage will need to use and make as a prerequisite for this PR. Sorry about this, there was a backwards-incompatible change in FLINT. |
The eclib patch is already in this PR, fyi |
Any idea why? I got the same result, built but segfault. |
We've narrowed the segfault down to flint miscompiling with gcc 15, see flintlib/flint#2340 for details |
Flint miscompiles with gcc 15, workaround is to compile with -fno-strict-aliasing This is also what Fedora does: https://src.fedoraproject.org/rpms/flint/blob/rawhide/f/flint.spec#_97-98 See flintlib/flint#2340 for upstream bug report
It works for me! |
I've added the -fno-strict-aliasing to the cflags, but I still get
Though not sure if its related to flint, might be another gcc 15 issue. Afaik thats just using pari so no flint involved... |
That's a random issue, I've beed getting it occasionally for a long time |
Ah true, using different random seed "fixes" the two descent ;) So this PR is ready for review. |
there's now en eclib release including the patch, and also a 3.3.1 flint bugfix release. |
Straightforward upgrade to the latest release
Apparently Singluar is not yet compatible with it
See Singular/Singular#1279