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
Task Type Bug Report
Category Packages
Status Closed
Assigned To Felix Yan (felixonmars)
Levente Polyak (anthraxx)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

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

Loading...