Bump flint to version 3 - #43

Closed

oscarbenjamin wants to merge 13 commits into

flintlib:masterfrom

oscarbenjamin:pr_flint3

Commits on Sep 6, 2023

Bump flint to 3.0.0-alpha1
oscarbenjamin
committed
969c884
chmod +x configfsf.guess
oscarbenjamin
committed
ca909ff
brew install automake
oscarbenjamin
committed
5f1a2bf
brew install libtool
oscarbenjamin
committed
53a2e3e
Add base-devel in mingw
oscarbenjamin
committed
83a4efd
Add autoconf-wrapper in mingw
oscarbenjamin
committed
aa7d632
Add automake-wrapper to minge
oscarbenjamin
committed
f88460e
Add libtool to mingw
oscarbenjamin
committed
2badf4b
Only source DLLs from .local/bin
oscarbenjamin
committed
6daf435
Update the Linux build demo script for flint 3
oscarbenjamin
committed
ddfafbd
Use flint/ for arb headers
oscarbenjamin
committed
6b3a711
Add nmod_poly_factor.h
oscarbenjamin
committed
81ca58a
nmod_vec -> nmod
oscarbenjamin
committed
a635d59