Set default include directories in targets generated by duneproject

Summary

Add missing dune_default_include_directories command to the targets in the template generated by duneproject script.

Not setting the include dirs results in strange behavior e.g. wrong config.h files are included.

added bug buildsystem labels

changed title from Do not set the dune policy to NEW in duneproject to Set default include directories in targets generated by duneproject

added 1 commit

• 043d57e7 - set default include directories to targets generated by duneproject

Compare with previous version

Maybe we could also provide a global version of the dune_default_include_directories() command, which could have directory scope. In application project where you do not want to create a library you currently have to set these include directories to all targets separately.

E.g. something like dune_default_include_directories() without any parameters or with the flags GLOBAL as single parameter. Or we introduce two versions:

• dune_default_include_directories()
• dune_target_default_include_directories(<target> <scope>)

(This is complicated due to the used function name)

marked this merge request as draft

changed the description

marked this merge request as ready

resolved all threads

merged

mentioned in commit e1d3600c