the-lambda-church / coquille

Interactive theorem proving with Coq in vim.
ISC License
186 stars 68 forks source link

vim errors when opening coq on mac #74

Open suteerthv opened 5 years ago

suteerthv commented 5 years ago

Hey, I get the following error when I try to open vim with coquille in my .vim/bundle. I don't immediately know what's wrong with it. Could someone help me?

Traceback (most recent call last): File "<string>", line 1, in <module> File "~/.vim/bundle/coquille/autoload/coquille.py", line 5, in <module> import coqtop as CT File "~/.vim/bundle/coquille/autoload/coqtop.py", line 3, in <module> import subprocess File "/usr/local/Cellar/python@2/2.7.15_2/Frameworks/Python.framework/Versions/2.7/lib/python2.7/subprocess.py", line 72, in <module> import select ImportError: dlopen(/usr/local/Cellar/python@2/2.7.15_2/Frameworks/Python.framework/Versions/2.7/lib/python2.7/lib-dynload/select.so, 0x0002): code signature in (/usr/local/Cellar/python@2/2.7.15_2/Framew orks/Python.framework/Versions/2.7/lib/python2.7/lib-dynload/select.so) not valid for use in process: mapped file has no cdhash, completely unsigned? Code has to be at least ad-hoc signed