我一直在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。仍然是同樣的問題。
如果解決方案涉及手動編譯二進制文件,我真的很感謝詳細的說明,因爲我沒有任何經驗。
你說得對。謝謝!你能否擴展一下Vim的Perl版本?我在想這個問題可能是32位與64位兼容。 (我使用gvim74.exe安裝程序安裝了Vim。) – user287393
版本必須匹配('perl510.dll' - > Perl 5.10),以及位數,是的。使用默認的安裝程序,你有一個32位的Vim。 –
@IngoKarkat礦產量'E370:無法加載庫perl522.dll' –