Coq ファイルを編集するために、Linux マシンでVim 用の CoqIDE プラグインを使用しています。今、私はそれを Windows 8 にインストールしようとしています。しかし、プラグインを入手しようとすると、
Your vim doesn't support Perl. Install it before using CoqIDE mode.
これは奇妙なこと:version
です+perl/dyn
。これは私が必要とするものとは異なり+perl
ますか?
Perl対応のVimを入手するには、Vimの前にPerlをインストールする必要があるとどこかで聞いたので、それも試しました。Vim をアンインストールし、Strawberry Perl 5.18.2.2 (64bit)をインストールして、Vim を再インストールしました。それでも同じ問題です。
解決策にバイナリを手動でコンパイルすることが含まれる場合、経験がないため、詳細な手順をいただければ幸いです。