Merge pull request #170 from gpetiot/fix-warning-58

samoht · web-flow · commit ddc6c1ecc1ed · 2019-09-12T08:58:48.000+02:00
Use dune modes stanza to fix warning 58
diff --git a/lib/top/dune b/lib/top/dune
@@ -1,5 +1,6 @@
 (library
  (name        mdx_top)
  (public_name mdx.top)
+ (modes       byte)
  (preprocess (action (run %{bin:cppo} -V OCAML:%{ocaml_version} %{input-file})))
  (libraries   unix mdx compiler-libs compiler-libs.toplevel threads findlib.top))
