A guide to building your Coq libraries and plugins with Dune

If you do not have OCaml files, you shouldn’t use -I, only -R.
What about putting your _CoqProject file at the root containing only:

-R _build/default/src MyProjectNamespace

And then running code . from the root of the project?

1 Like