问在vim中使用merlin在ocaml中开发coq插件

EN

coq_makefile现在将为您生成一个.merlin。只是打字

make .merlin

最后，我回答了自己。只需将coq的cmi文件的目录与指令B放在.merlin文件中即可。

B path/to/coq/kernel
B path/to/coq/library
...

我不知道如何正确地使用coq_makefile来做这件事，@Nico的回答对我没有用。

我的.merlin文件是：

FLG -rectypes
S /usr/lib/coq/**
B /usr/lib/coq/**

第一行很重要的地方(我不知道它是什么意思)。当然，将/usr/lib/更改为coq所在的路径。您可以通过在命令行中运行coqc -where来查找coq位置。