Karl Palmskog (Sep 30 2020 at 16:08): Karl Palmskog (Sep 30 2020 at 16:08):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.
Emilio Jesús Gallego Arias (Sep 30 2020 at 16:15):There was a way to disable alerts specifically indeed but I forgot
Karl Palmskog (Oct 01 2020 at 12:28):I tried a bunch of different numbers, and it seems -3 works in the end.
Rudi Grinberg (Nov 29 2020 at 22:36):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: Jun 03 2023 at 17:29 UTC