pkg¶
Warning
Dune Package Management is not final yet and the configuration options are subject to change.
This stanza allows enabling/disabling the package management features of Dune.
- (pkg <setting>)
Added in version 3.20.
Where
<setting>can beenabledordisabled.
Note that the command line option --pkg has precedence over this stanza.