How can we run ocamlc -i on a module that is supposed to be compiled with dune (with local and non-local libraries and possibly other things that make manual compilation outside dune non-trivial)? Ideally, I would like to run the same command that dune uses to compile the module, but with the optio…

Is using cmitomli on the cmi file produced by dune not an option?

Yes, it can work, thanks for the suggestion! If no one proposes a more direct solution (for instance, a solution that does not require to go manually in _build/default/*/*.objs/byte/), I will accept yours!

You can write a custom rule to have Dune run cmitomli for you: (rule (alias make_mli) (mode promote) (action (with-stdout-to mysig.sig (run cmitomli %{cmi:path_to_module/wihout_extension})))) And then run dune @make_mli. There is a lot of improvement that can be made and it probably need…

It’s a bit of a shame we haven’t solved this in dune yet. There are problems in dune that make adding this feature not entirely trivial, but we should really fix the engine to accommodate features like this.

Thank you all for your suggestions and pointers! Since cmitomli is the state of the art, I accept @octachron ’s solution, but, yes, that would be great if dune could do this more conveniently!

Run `ocamlc -i` with `dune`

Learning

gadmm May 17, 2022, 5:19pm 5

Relevant previous discussion: How can I generate .mli files from .ml files?

Topic		Replies	Views
Getting signature of caml program Ecosystem dune	4	923	December 3, 2018
How can I generate .mli files from .ml files? Learning	13	7985	March 11, 2022
Dune do not build bytecode Ecosystem opam , dune	12	2178	July 29, 2020
Dune dependency computing Learning dune	2	634	June 24, 2020
[Dune] Link against cmo / cmi without source? Ecosystem dune	11	2512	December 14, 2018

Run `ocamlc -i` with `dune`

Related topics