Vim插件无法识别现有的Perl支持

Vim插件无法识别现有的Perl支持,perl,vim,plugins,coqide,Perl,Vim,Plugins,Coqide,我一直在使用Linux机器上的来编辑Coq文件。现在我正试图在Windows8上安装它。但是当我试图寻找插件的来源时,我得到了 Your vim doesn't support Perl. Install it before using CoqIDE mode. 这很奇怪,因为有了:version,我清楚地看到了+perl/dyn。这与我需要的+perl不同吗 我听说在Vim之前需要安装Perl才能获得启用Perl的Vim,所以我也尝试了。我卸载、安装并重新安装了Vim。还是一样的问题 如果解

我一直在使用Linux机器上的来编辑Coq文件。现在我正试图在Windows8上安装它。但是当我试图寻找插件的来源时,我得到了

Your vim doesn't support Perl. Install it before using CoqIDE mode.
这很奇怪,因为有了
:version
,我清楚地看到了
+perl/dyn
。这与我需要的
+perl
不同吗

我听说在Vim之前需要安装Perl才能获得启用Perl的Vim,所以我也尝试了。我卸载、安装并重新安装了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是否可以访问(尽管路径是
路径)。我正在运行win7 64和gvim 7.4.2。使用strawberryperl和activeperl导致:echo已('perl')生成0。通过切换到dwimpel(并确保我的PATH env变量是正确的):echo has('perl')现在使用标准gvim分布生成1。这对于像dbext这样需要适当支持perl接口的vim扩展非常重要。

你说得对。谢谢您能否进一步介绍Perl for Vim的正确版本?我认为问题可能在于32位与64位的兼容性。(我用gvim74.exe安装程序安装了Vim。)版本必须匹配(
perl510.dll
->perl5.10),并且比特数是。在默认安装程序中,您有一个32位Vim。@IngoKarkat Mine产生
E370:无法加载库perl522.dll
如果我们在*nix系统上,并且出现无法加载
Perl_sv_2nv_标志
库函数的错误怎么办?@AlexejMagura看起来像是库不匹配。如果Vim和Perl都是通过包管理器安装的,那么这种情况就不会发生。如果手动安装了一个或两个,请更新并重新编译。