Boolector/boolector

PyBoolector-3.2.2.20210617.2.tar.gz Missing CMakeLists.txt

ctopal opened this issue · 2 comments

ctopal commented

Hi,

I am trying to install pyboolector using

pip3 install pyboolector

I got an error stating:

FileNotFoundError: [Errno 2] No such file or directory: '/tmp/pip-build-e6gsmc2x/CMakeLists.txt'

My python3 version is python 3.6.9 and I tried with cleaned pip cache.

You can also find the pip log attached
pyboolector_install.log

I would appreciate any kind of help, thanks beforehand
Canberk

mpreiner commented

What version of pip are you using? I just tried downloading with Python3.6 and pip told me to update to a newer pip version. With pip 18.1 I got the error that you got. After upgrading pip to 21.1.3 via pip install --upgrade pip pyboolector installed successfully.

ctopal commented

Yes it was about the pip version actually, upgrading pip solved the issue! Interesting thing is, pip didn't told me to update to a new version but I was just trying to use pip debug command and it was not available so I had to upgrade to 21.1.3 because of that. Thanks anyway, I hope this would be helpful to others trying to install pyboolector with an old pip version

  • 👍1