我一直在Linux机器上使用CoqIDE plugin for Vim来编辑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。仍然是同样的问题。
如果解决方案涉及手动编译二进制文件,我会非常感谢详细的说明,因为我没有任何使用它的经验。
答案 0 :(得分:4)
+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
)。
答案 1 :(得分:0)
下载适用于Windows的DWIMPerl。我正在运行win7 64和gvim 7.4.2。使用strawberryperl和activeperl导致:echo有('perl')产生0.通过切换到DWIMPerl(并确保我的PATH env变量是正确的):echo has('perl')现在使用标准gvim分布产生1。这对于像dbext这样需要适当支持perl接口的vim扩展非常重要。