Draft: Add generated/ subdir to PROJECT_BINARY_DIR where dune-instance can put their generated files
Summary
It is not a good practice to include the full PROJECT_BINARY_DIR
. This is currently necessary, since we generate file with dune-instance utilities in this directory, and also the config.h
file is put into the binary-dir. While the issue with the config files is worked on, this MR moves all generated files into a subdirectory PROJECT_BINARY_DIR/generate
to be included separately. Later we can remove the include of the base binary dir.