Change the way headers and libraries are handled in build system.
Merge branch 'build_system' of https://github.com/jpflori/flint2 into trunk
Fix c99 compile for profile in Makefile.in.
Fix c99 compile for profile in Makefile.mod.
Use ABI_FLAG for profile targets.
Use sed rather than awk for option parsing.
This fixes the multi '=' signs problem.
There are no bashisms in configure.
No bashisms in Makefiles either.
Filter out build-tls potential crash.
Use DESTDIR instead of PREFIX.
Correct use of DESTDIR. PREFIX is still used.
Possibility to use --with-mpir.
Add test code and better documentation for flint_mpn_divrem_preinv1 and
flint_mpn_preinv1.
Added missing test code.
Allow --enable-* options in configure.
Parse CXX option passed to configure.
Error out when static and shared versions are enable on Windows.
Added test code for mpn_extras/mulmod_preinv1.
Better option parsing.
Updated copyrights.