我一直在 Linux 机器上使用Vim 的 CoqIDE 插件来编辑 Coq 文件。现在我正在尝试在 Windows 8 上安装它。但是当我尝试获取插件时，我得到了
Your vim doesn't support Perl. Install it before using CoqIDE mode.
这很奇怪，因为:version我清楚地看到了+perl/dyn包括在内。这与+perl我需要的不同吗？
我听说你需要在 Vim 之前安装 Perl 才能获得支持 Perl 的 Vim，所以我也尝试了。我卸载了 Vim，安装了Strawberry Perl 5.18.2.2 (64bit)，然后重新安装了 Vim。还是同样的问题。
如果解决方案涉及手动编译二进制文件，我将非常感谢详细的说明，因为我没有任何经验。
+perl/dyn只是指定 Vim 编译时带有动态 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.
下载适用于 Windows 的 DWIMPerl。我正在运行 win7 64 和 gvim 7.4.2。使用草莓perl 和 activeperl 导致 :echo has('perl') 产生 0。通过切换到 DWIMPerl（并确保我的 PATH 环境变量正确） :echo has('perl') 现在使用标准 gvim 分布产生 1。这对于需要适当支持 perl 接口的 vim 扩展（如 dbext）很重要。