Hello,

trying to move CM to use the git version of FLINT, I get the following warnings:
In file included from /home/enge/local/flint-git/include/flint/flint.h:29,
from /home/enge/local/flint-git/include/flint/thread_pool.h:15,
from /home/enge/local/flint-git/include/flint/fmpz_mod_poly.h:22,
from cm-impl.h:41,
from get_version.c:23:
/home/enge/local/flint-git/include/flint/flint-config.h:145: warning: "PACKAGE_BUGREPORT" redefined
145 | #define PACKAGE_BUGREPORT "https://github.com/flintlib/flint2/issues/"
|
In file included from cm-impl.h:27:
../config.h:70: note: this is the location of the previous definition
70 | #define PACKAGE_BUGREPORT "andreas.enge@inria.fr"
(and so on for other PACKAGE_* preprocessor constants).

I think that flint-config.h should not be installed, but used only during the compilation of FLINT itself. If you need flint.h to depend on the results of configuration, you can always use a flint.h.in template.

Andreas