Suppress no-cmx-file warning

goblint · Nov 28, 2023 · deb12f4 · deb12f4
1 parent 6b1dce9
commit deb12f4
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/build-info/dune b/src/build-info/dune
@@ -27,3 +27,6 @@
   (mode (promote (until-clean) (only configOcaml.ml))) ; replace existing file in source tree, even if releasing (only overrides)
   (action (write-file %{target} "(* Automatically regenerated, changes do not persist! *)\nlet flambda = \"%{ocaml-config:flambda}\"")))
 
+(env
+  (_
+    (flags (:standard -w -no-cmx-file)))) ; suppress warning from flambda compiler bug: https://github.com/ocaml/dune/issues/3277