The port doesn't work at the moment: # python3.11 Python 3.11.9 (main, Jul 25 2024, 09:35:46) [Clang 18.1.6 (https://github.com/llvm/llvm-project.git llvmorg-18.1.6-0-g1118c2 on freebsd15 Type "help", "copyright", "credits" or "license" for more information. >>> 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/libz3.so' ] Traceback (most recent call last): File "<stdin>", line 1, in <module> File "/usr/local/lib/python3.11/site-packages/z3/__init__.py", line 1, in <module> from .z3 import * File "/usr/local/lib/python3.11/site-packages/z3/z3.py", line 46, in <module> from . import z3core File "/usr/local/lib/python3.11/site-packages/z3/z3core.py", line 67, in <module> raise Z3Exception("libz3.%s not found." % _ext) z3.z3types.Z3Exception: libz3.so not found.
Yuri, can you please look at this problem?
Yuri, if you don't plan to look into this, could you relinquish the maintainership?
A commit in branch main references this bug: URL: https://cgit.FreeBSD.org/ports/commit/?id=8bf5245b66fd35846faa3a5662bd37bc5ada46ea commit 8bf5245b66fd35846faa3a5662bd37bc5ada46ea Author: Gleb Popov <arrowd@FreeBSD.org> AuthorDate: 2024-09-18 19:14:49 +0000 Commit: Gleb Popov <arrowd@FreeBSD.org> CommitDate: 2024-09-18 19:14:49 +0000 math/py-z3-solver: Mark BROKEN PR: 280689 math/py-z3-solver/Makefile | 1 + 1 file changed, 1 insertion(+)
The problem is fixed with the port update.
A commit in branch main references this bug: URL: https://cgit.FreeBSD.org/ports/commit/?id=5c1f797943b07bb6cfae24800302cf16576826d1 commit 5c1f797943b07bb6cfae24800302cf16576826d1 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2024-10-08 00:10:58 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2024-10-08 03:44:40 +0000 math/py-z3-solver: update 4.8.17 → 4.13.2 This fixes the problem from bug#280689. PR: 280689 math/py-z3-solver/Makefile | 40 ++++++++++------ math/py-z3-solver/distinfo | 6 +-- .../files/example-dog-cat-mouse.py (new) | 18 ++++++++ .../files/example-eight-queens.py (new) | 22 +++++++++ .../py-z3-solver/files/example-kinematics.py (new) | 25 ++++++++++ .../files/example-power-of-two.py (new) | 15 ++++++ math/py-z3-solver/files/example-sudoku.py (new) | 53 ++++++++++++++++++++++ math/py-z3-solver/files/patch-CMakeLists.txt (new) | 30 ++++++++++++ math/py-z3-solver/files/patch-setup.py (gone) | 12 ----- math/py-z3-solver/pkg-plist (new) | 11 +++++ 10 files changed, 203 insertions(+), 29 deletions(-)