× python setup.py egg_info did not run successfully.
│ exit code: 1
╰─> [6 lines of output]
Traceback (most recent call last):
File "", line 2, in
File "", line 34, in
File "/private/var/folders/lw/206p84bs4qvfh3s2_k0212fr0000gp/T/pip-install-lm4_6bth/pyboolector_cf53812e70674a8bb6b10caf4a685748/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/lw/206p84bs4qvfh3s2_k0212fr0000gp/T/pip-install-lm4_6bth/CMakeLists.txt'
[end of output]
note: This error originates from a subprocess, and is likely not a problem with pip.
error: metadata-generation-failed
× Encountered error while generating package metadata.
╰─> See above for output.
note: This is an issue with the package mentioned above, not pip.
Command: pip3 install PyBoolector
Error info:
Using cached PyBoolector-3.2.2.20230110.4.tar.gz (21 kB) Preparing metadata (setup.py) ... error error: subprocess-exited-with-error
× python setup.py egg_info did not run successfully. │ exit code: 1 ╰─> [6 lines of output] Traceback (most recent call last): File "", line 2, in
File "", line 34, in
File "/private/var/folders/lw/206p84bs4qvfh3s2_k0212fr0000gp/T/pip-install-lm4_6bth/pyboolector_cf53812e70674a8bb6b10caf4a685748/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/lw/206p84bs4qvfh3s2_k0212fr0000gp/T/pip-install-lm4_6bth/CMakeLists.txt'
[end of output]
note: This error originates from a subprocess, and is likely not a problem with pip. error: metadata-generation-failed
× Encountered error while generating package metadata. ╰─> See above for output.
note: This is an issue with the package mentioned above, not pip.