Использование merlin в vim для разработки плагинов coq в ocaml
Я установил Coq с opam и хочу сделать плагин Coq. Мне удалось скомпилировать несколько примеров плагинов, используя coq_makefile, но было бы здорово, если бы я мог использовать merlin в vim для информации о типах и завершения для библиотек Coq.
Есть ли способ, с помощью которого я могу добавить библиотеки Coq в ocamlfind?
2 ответа
coq_makefile теперь сгенерирует.merlin для вас. Просто введите
make .merlin
Наконец я ответил сам. Было только необходимо поместить каталоги cmi-файлов coq в файл.merlin с директивой B
B путь / к /coq/ библиотека B путь / к /coq/ библиотека...
Я не мог понять, как правильно пользоваться coq_makefile чтобы сделать это, и ответ @Nico Lehmann у меня не сработал.
Мой .merlin файл:
FLG -rectypes
S /usr/lib/coq/**
B /usr/lib/coq/**
где важна первая строка (я понятия не имею, что это значит). Конечно поменять/usr/lib/на путь, где находится ваш coq. Вы можете найти местоположение coq, запустивcoqc -where в командной строке.