Currently, the Coq extraction mechanism generates code that creates
Alerts in OCaml (see https://github.com/coq/coq/issues/11359). Hence, all extraction-based OCaml projects that use the Coq files indicated in the issue will always fail to compile in Dune. Here is my current solution for this:
(flags :standard -warn-error -a)
Is there any other more specific way to solve this? The
ocamlc documentation seemingly doesn't even talk about alerts, and ocamlbuild doesn't care, only Dune. Basically, there is no specific number
x to use
-w -x for.
There was a way to disable alerts specifically indeed but I forgot
I tried a bunch of different numbers, and it seems
-3 works in the end.
Usually the best way to address this issue is to modify the code generator to emit warning silencing attributes (
[@@@ocaml.warning "-3"]) for example. That makes it work with any build system/warning level.
Last updated: Oct 16 2021 at 09:07 UTC