ALT Linux Bugzilla – Full Text Bug Listing
| Summary: | z3.z3types.Z3Exception: libz3.so not found | ||
|---|---|---|---|
| Product: | Sisyphus | Reporter: | Anton Zhukharev <ancieg> |
| Component: | python3-module-z3 | Assignee: | Grigory Ustinov <grenka> |
| Status: | CLOSED FIXED | QA Contact: | qa-sisyphus |
| Severity: | normal | ||
| Priority: | P5 | CC: | grenka, rider |
| Version: | unstable | ||
| Hardware: | all | ||
| OS: | Linux | ||
Судя по %changelog последнее и относительно продолжительное время пакетом занимается Григорий, поэтому перевешиваю на него. |
user@host ~ $ rpm -q python3-module-z3 python3-module-z3-4.15.2-alt1.noarch user@host ~ $ rpm -qa | grep z3 python3-module-z3-4.15.2-alt1.noarch libz3-4.15.2-alt1.x86_64 user@host ~ $ python3 -c 'import z3' Could not find libz3.so; consider adding the directory containing it to - your system's PATH environment variable, - the Z3_LIBRARY_PATH environment variable, or - to the custom Z3_LIB_DIRS Python-builtin before importing the z3 module, e.g. via import builtins builtins.Z3_LIB_DIRS = [ '/path/to/z3/lib/dir' ] # directory containing libz3.so [TypeError('expected str, bytes or os.PathLike object, not NoneType'), OSError('libz3.so: cannot open shared object file: No such file or directory')] Traceback (most recent call last): File "<string>", line 1, in <module> File "/usr/lib/python3/site-packages/z3/__init__.py", line 1, in <module> from .z3 import * File "/usr/lib/python3/site-packages/z3/z3.py", line 46, in <module> from . import z3core File "/usr/lib/python3/site-packages/z3/z3core.py", line 79, in <module> raise Z3Exception("libz3.%s not found." % _ext) z3.z3types.Z3Exception: libz3.so not found.