2014-07-20 84 views
2

我一直在Linux機器上使用CoqIDE plugin for Vim來編輯Coq文件。現在,我想在Windows 8安裝它,但,當我嘗試源插件,我得到Vim插件無法識別現有的Perl支持

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。仍然是同樣的問題。

如果解決方案涉及手動編譯二進制文件,我真的很感謝詳細的說明,因爲我沒有任何經驗。

回答

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)。

+0

你說得對。謝謝!你能否擴展一下Vim的Perl版本?我在想這個問題可能是32位與64位兼容。 (我使用gvim74.exe安裝程序安裝了Vim。) – user287393

+0

版本必須匹配('perl510.dll' - > Perl 5.10),以及位數,是的。使用默認的安裝程序,你有一個32位的Vim。 –

+0

@IngoKarkat礦產量'E370:無法加載庫perl522.dll' –

0

下載DWIMPerl for windows。我正在運行win7 64和gvim 7.4.2。通過切換到DWIMPerl(並確保我的PATH環境變量是正確的):echo has('perl')現在使用標準的gvim分佈產生1。這對於需要對perl接口進行適當支持的dbext等vim擴展很重要。