vim - ocaml での coq プラグイン開発に vim で merlin を使用する

Question

opam で Coq をインストールしましたが、Coq プラグインを作成したいと考えています。を使用していくつかのプラグインの例をコンパイルするcoq_makefileことができましたが、vim で型情報と Coq ライブラリの補完に merlin を使用できれば素晴らしいと思います。

Coq ライブラリを ocamlfind に追加する方法はありますか?

Answer 1

最後に、私は自分自身に答えました。coq の cmi ファイルのディレクトリを、ディレクティブ B を使用して .merlin ファイルに配置するだけで済みました。

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