Skip to content
Snippets Groups Projects
Commit 0c144e4a authored by Simon Praetorius's avatar Simon Praetorius Committed by Santiago Ospina De Los Ríos
Browse files

Add documentation of new introduced dune policy

parent 8ad4b11b
No related branches found
No related tags found
2 merge requests!1470Fix wrong variable name to make target hash (2.10),!1355Provide a cmake utility dune_default_include_directories
Hide whitespace changes
Inline Side-by-side
doc/buildsystem/dune-common.rst
+ 3
− 1
View file @ 0c144e4a
......@@ -208,7 +208,9 @@ not want to see any policy warnings and just stick with the defaults, the global
Policies Introduced by Dune 2.10
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Here we will list and explain the introduced policies.
``DP0001`` (dune-common, set to NEW by default in version 3.0)
*OLD behavior:* Set global ``include_directories`` when creating a new ``dune_project``.
*NEW behavior*: Include directories must be set on a module library targets and are not set globally anymore.
.. _faq:
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment