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.

問題があると思われるもう 1 つの点は、ファイルの種類です。上記のエラー メッセージからわかるように、coqtopファイルには.exeMS-DOS および Windows に固有の拡張子が付いています。.exeしかし、プラグインがファイルで動作するように書かれているとは思いません...

また、他のすべての検索ヒットを として使用しようとしましたcoqtopが、役に立ちませんでした。

これは、プラグインが Windows では役に立たないということですか? 誰かが確認できれば、あきらめて他の IDE を使用します。でも、できればVimを使い続けたいです。

4

0 に答える 0