[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