Skip to content

Make dune policies a project local property

Simon Praetorius requested to merge issue/policy-with-project-local-scope into master

Dune policies were defines as global properties and the values also set as global properties. This makes multi-project builds difficult, since one project would override the policy for other projects. This MR tries to fix this issue, by giving the policy global properties project-local names. Additionally, a test for this cmake utility is introduced.

Closes #385 (closed)

Edited by Simon Praetorius

Merge request reports

Loading