vimocamlcoqocamlfindmerlin

Using merlin in vim for coq plugin development in ocaml

I installed Coq with opam and want to make a Coq plugin. I managed to compile some plugin examples using coq_makefile, but it would be great if I could use merlin in vim for type information and completion for Coq libraries.

Is there a way in which I can add the Coq libraries to ocamlfind?

Solution

  • coq_makefile will now generate a .merlin for you. Just type

    make .merlin