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?
coq_makefile
will now generate a .merlin for you. Just type
make .merlin
Finally I answered myself. It was onlly necesary to put the directories of the cmi files of coq in the .merlin file with the directive B
B path/to/coq/kernel
B path/to/coq/library
...
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With