flint3: 3.0.1 -> 3.1.2, import C99 compliance patch

[collares]

flintlib/flint#2027

This is an incompatibility between NumPy 2 and FLINT which is currently breaking Sage builds.

cc @paparodeo

Things done

• Built on platform(s)
  • x86_64-linux
  • aarch64-linux
  • x86_64-darwin
  • aarch64-darwin
• For non-Linux: Is sandboxing enabled in nix.conf? (See Nix manual)
  • sandbox = relaxed
  • sandbox = true
• Tested, as applicable:
  • NixOS test(s) (look inside nixos/tests)
  • and/or package tests
  • or, for functions and "core" functionality, tests in lib/tests or pkgs/test
  • made sure NixOS tests are linked to the relevant packages
• Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review rev HEAD". Note: all changes have to be committed, also see nixpkgs-review usage
• Tested basic functionality of all binary files (usually in ./result/bin/)
• 25.05 Release Notes (or backporting 24.11 and 25.05 Release notes)
  • (Package updates) Added a release notes entry if the change is major or breaking
  • (Module updates) Added a release notes entry if the change is significant
  • (Module addition) Added a release notes entry if adding a new NixOS module
• Fits CONTRIBUTING.md.

---

Add a 👍 reaction to pull requests you find important.

[paparodeo]

when I try to build I just get the yes.

checking whether g++ accepts -std=c++11... yes
= yes
...
= yes

looks like there is a cmake build. maybe that one works a little better.

[collares]

when I try to build I just get the yes.

checking whether g++ accepts -std=c++11... yes
= yes
...
= yes

looks like there is a cmake build. maybe that one works a little better.

Thanks for testing, it looks like a typo in configure.ac. Will patch (I'd rather keep the autotools build).

[collares]

Patched, but I wonder if this means that the --with-ntl option is fully untested.

[paparodeo]

Patched, but I wonder if this means that the --with-ntl option is fully untested.

https://github.com/flintlib/flint/blob/c0a82ba84f4caf803dcf400719c19162a770e763/.github/workflows/CI.yml#L170

[collares]

Ah, but that one has --disable-debug, and the configure bug requires debugging enabled (the default) and --with-ntl. Should we really be shipping FLINT with debugging enabled by default?

[paparodeo]

Ah, but that one has --disable-debug, and the configure bug requires debugging enabled (the default) and --with-ntl. Should we really be shipping FLINT with debugging enabled by default?

seems like they get stripped off regardless of the flag. sage built for me on linux with this pr. darwin needs more work.

[collares]

I'm going to merge this soon to fix the Linux build, then. Feel free to tag me on Darwin follow-ups if you find the time to continue investigating. Thanks!

[collares]

Upstreamed at flintlib/flint#2132