DunePolicy

Get and set dune policies to control changes in behavior of the dune build system. A policy is by default set to OLD if not set otherwise. The default behavior can be influenced by the global CMake variable DUNE_POLICY_DEFAULT. See Dune Build System Policies for the list of introduced DUNE build system policies.

dune_policy

Get, set, list, or explain DUNE buildsystem policies.

dune_policy(GET <policy> <var>)
dune_policy(SET <policy> <value> [QUIET])
dune_policy(LIST)
dune_policy(HELP)

GET <policy> <var>

Retrieve the effective value of <policy> into <var>.

SET <policy> <value> [QUIET]

Set <policy> to OLD or NEW for the current project. If QUIET is given, undefined policies are ignored without a warning.

LIST

Print the registered policies and their current values.

HELP

Print a short usage summary for dune_policy().

dune_define_policy

Register a new DUNE buildsystem policy.

dune_define_policy(<policy> "<doc>")
dune_define_policy(<policy> <module> <version> "<doc>")

<policy>

Policy identifier naming a specific behavior change.

<doc>

Documentation shown when the policy is unset and DUNE_POLICY_DISABLE_WARNING is not set to TRUE.

<module>, <version>

Deprecated compatibility arguments. They are ignored.

Deprecated since version 2.12: The signature dune_define_policy(<policy> <module> <version> <doc>) is deprecated. Use dune_define_policy(<policy> <doc>) instead.

DUNE_POLICY_DEFAULT

Default value of an unset policy. Supported values are OLD and NEW. The default is OLD.

DUNE_POLICY_DISABLE_WARNING

If set to TRUE, warnings about unset DUNE policies are suppressed. The default is FALSE.