Change header generation method
The header generation process was discussed in !61 (comment 444686), and we agreed that we should change the current implementation. In particular
- Remove the "automatic" generation of header files upon install, in some package-specific directory, which would then be shared (and imported) by all C/C++ projects.
- Instead, add an entry-point command (something like
lisaconstants generate cpp) to generate header files on-demand. Those header files would then be project-specific, and placed in the project directories (see !61 (comment 429042)). - We should suggest to add the generation command in Makefiles to ensure that they always remain up to date (see !61 (comment 429051)).