[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