possibly the least intuitive build command I've ever used:
dune build --profile release. Is there a reason there isn't some more intuitive alias for ignoring warnings?
If you want to tweak the default set of fatal warnings for the dev profile indeed you can modify it using the
(env ...) stanza https://dune.readthedocs.io/en/stable/dune-files.html#env
Default warning flags in the dev profile are indeed pretty strict, that was discussed upstream, but it was decided to keep the default like this
A part of the dune philosophy is that builds should be totally free of noise, so indeed that's one the reasons for the strict default
Last updated: Dec 07 2023 at 04:02 UTC