Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

vim errors when opening coq on mac #74

Open
suteerthv opened this issue Feb 18, 2019 · 0 comments
Open

vim errors when opening coq on mac #74

suteerthv opened this issue Feb 18, 2019 · 0 comments

Comments

@suteerthv
Copy link

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant