[opam-devel] opam/ocp-index integration guidelines
Thomas Gazagnaire
thomas at gazagnaire.org
Wed Dec 18 11:21:44 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 ?
hum, I think cmi (and optionally cmti) should be enough if you just want autocompletion.
More information about the opam-devel
mailing list