How can I turn off "warnings are errors" for OCaml compiles when I build locally? I'd like this as my normal local setting rather than, say, having to provide an extra command line parameter or modifying dune files in the source tree. (If I have an unused variable/function, I don't usually don't care about that until I'm about to submit a PR. (Working on Coq FWIW.)
dune-workspace file to the root of Coq, with the updated warning settings you'd like for your project
Note that this is an area that has been marked as insatisfactory and will get a full revamp in Dune 3.0
Can you be more specific on how to update the warnings? Should the developers using that technique also repeat the other OCaml flags normally passed during a build of Coq?
I need to look the specific details up, but I think
:standard should do the trick
(flags :standard -w -3) for example; I have a PR where I planned to document this, but we found a bug in the implementation of Coq flags so we need to fix it first https://github.com/coq/coq/pull/14241
Still on holidays for a few days more so don't expect a lot of progress this week, sorry.
Note that doing something such as
export DUNEOPT="--workspace=path_to_my_own_config" is likely the easiest way as of today [dune also supports setting the workspace using an env var]
Makefile.dune does support that variable
Last updated: Oct 16 2021 at 07:02 UTC