FS#72531 - [python-z3] missing 'python-setuptools' in dependency
Attached to Project:
Community Packages
Opened by Shupei Fan (fansp) - Sunday, 24 October 2021, 07:49 GMT
Last edited by Levente Polyak (anthraxx) - Friday, 19 August 2022, 17:51 GMT
Opened by Shupei Fan (fansp) - Sunday, 24 October 2021, 07:49 GMT
Last edited by Levente Polyak (anthraxx) - Friday, 19 August 2022, 17:51 GMT
|
Details
Description:
python z3 depends on `pkg_resources` module, so `python-setuptools` should be dependency, not merely make dependency. Additional info: * package version(s) 4.8.12-1 * link to upstream bug report, if any https://github.com/Z3Prover/z3/issues/2374 Steps to reproduce: Just start a python interpreter in terminal, then >>> import z3 Traceback (most recent call last): File "<stdin>", line 1, in <module> File "/usr/lib/python3.9/site-packages/z3/__init__.py", line 1, in <module> from .z3 import * File "/usr/lib/python3.9/site-packages/z3/z3.py", line 48, in <module> from . import z3core File "/usr/lib/python3.9/site-packages/z3/z3core.py", line 5, in <module> import pkg_resources ModuleNotFoundError: No module named 'pkg_resources' Workaround: run `pacman -S python-setuptools` manually, then python-z3 works again |
This task depends upon
Closed by Levente Polyak (anthraxx)
Friday, 19 August 2022, 17:51 GMT
Reason for closing: Fixed
Additional comments about closing: fixed in 4.11.0-1
Friday, 19 August 2022, 17:51 GMT
Reason for closing: Fixed
Additional comments about closing: fixed in 4.11.0-1