3

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 を再インストールしました。それでも同じ問題です。

解決策にバイナリを手動でコンパイルすることが含まれる場合、経験がないため、詳細な手順をいただければ幸いです。

4

2 に答える 2

4

+perl/dynVim が動的 Perl サポート付きでコンパイルされていることを指定するだけです。Perl ライブラリが正常にロードできるかどうかはまだチェックされていません。これを行うには、次のような Perl コマンドを実行してみてください。

:perl VIM::Msg("Hello")

これはおそらくあなたのシステムで得られます:

E370: Could not load library perl510.dll
Sorry, this command is disabled: the Perl library could not be loaded.

次に、適切な Perl バージョンがインストールされていて、DLL にアクセスできるかどうかを調査する必要があります ( PATH.

于 2014-07-20T17:30:13.783 に答える