Указание пути coqtop для плагина CoqIDE Vim в Windows 8.1
Я пытаюсь заставить плагин CoqIDE Vim работать на Windows 8.1. Когда я получаю плагин от Vim, я получаю следующее сообщение об ошибке:
coqtop.opt: command not found.
Поэтому я посмотрел документацию по плагину и нашел часть, которая кажется подходящей:
"coqtop" should be accessible on PATH. If "coqtop" is not in your PATH, add 'let CoqIDE_coqtop = "/path/to/coqtop"' in your "~/.vimrc".
Я не уверен, что это значит, но я предполагаю, что есть какой-то файл или каталог с именем coqtop это должно быть сделано видимым для vim. Итак, я открыл свой каталог установки Coq и искал coqtop, Хиты поиска:
coqtop
coqtop.cmi
coqtop.1
coqtop.byte.1
coqtop.opt.1
Очевидный первый кандидат здесь coqtop, Когда я нажимаю на нее, открывается интерактивная консоль Coq. Но когда я использую let CoqIDE_coqtop Команда связать этот файл с Vim и загрузить плагин снова, я получаю:
C:Program Files (x86)Coq^Hincoqtop.exe: command not found.
Другая вещь, которая выглядит проблематичной - это тип файла. Как видно из сообщения об ошибке выше, coqtop файл имеет .exe расширение, характерное для MS-DOS и Windows. Но я не думаю, что плагин был написан для работы с .exe файлы...
Я также попытался использовать все остальные поисковые хиты как coqtop, но безрезультатно.
Значит ли это, что плагин бесполезен в Windows? Если кто-то может подтвердить, что я просто сдамся и использую другие IDE. Но если возможно, я бы действительно хотел продолжать использовать Vim.