CODEWITHSUNDEEP
perlvimpluginscoqide
user287393
user287393

Reputation: 1241

Vim plugin does not recognize existing Perl support

I've been using the CoqIDE plugin for Vim on Linux machines for editing Coq files. Now I'm trying to install it on Windows 8. But when I try to source the plugin, I get

Your vim doesn't support Perl. Install it before using CoqIDE mode.

which is strange, because with :version I clearly see +perl/dyn included. Is this different from the +perl that I need?

I heard somewhere that you need to have Perl installed before Vim to get a Perl-enabled Vim, so I tried that as well. I uninstalled Vim, installed Strawberry Perl 5.18.2.2 (64bit), and reinstalled Vim. Still the same problem.

If the solution involves manually compiling binaries, I would really appreciate detailed instructions as I don't have any experience with it.

Upvotes: 4

Views: 773

Answers (2)

nachonachoman
nachonachoman

Reputation: 852

Download DWIMPerl for windows. I'm running win7 64 and gvim 7.4.2. Using strawberryperl and activeperl resulted in :echo has('perl') to yield 0. By switching to DWIMPerl (and ensuring my PATH env variables are proper) :echo has('perl') now yields 1 using the standard gvim distribution. This is important for vim extensions like dbext which require proper support for perl interfaces.

Upvotes: 0

Ingo Karkat
Ingo Karkat

Reputation: 172600

+perl/dyn just specifies that Vim has been compiled with dynamic Perl support; it doesn't yet check that the Perl library can be loaded successfully. To do that, try executing a Perl command, e.g.:

:perl VIM::Msg("Hello")

This probably yields on your system:

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

Next, you'd then have to investigate whether a proper Perl version has been installed and the DLL is accessible (though the PATH).

Upvotes: 4

Related Questions