You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently downstream packagers of FLINT have to decide whether they enable NTL support in FLINT or not.
If they do, all projects that use the packaged FLINT library pull in NTL as well.
Removing the NTL interface from FLINT (and putting it in a separate small project that depends on FLINT and NTL) would solve this; and as well would simplify the build systems of FLINT.