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.
Allow --enable-* options in configure.
Parse CXX option passed to configure.
Error out when static and shared versions are enable on Windows.
Better option parsing.
Allow --without-* options in configure.
Sed script working with non-GNU sed.
Merge branch 'build_system' of https://github.com/jpflori/flint2 into trunk