[opam-devel] opam/ocp-index integration guidelines
Daniel Bünzli
daniel.buenzli at erratique.ch
Wed Dec 18 11:12:59 GMT 2013
Le mercredi, 18 décembre 2013 à 11:59, Thomas Gazagnaire a écrit :
> If you install the cmt files of your library this should just work (I think ocp-index looks for any _build or _obuild parent subdir to find the cmt of the current project and in all `opam config var lib` subdirs for the installed packages).
All of the cmt[i] ? Or are cmti of the published interfaces enough ?
Best,
Daniel
More information about the opam-devel
mailing list