Date: Tue, 07 Apr 2026 09:58:16 +0000 From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 7ce0b2427487 - main - math/py-z3-solver: update 4.14=?utf-8?Q?=2E1 =E2=86=92 4?=.16.0 Message-ID: <69d4d538.45570.37cea314@gitrepo.freebsd.org>
index | next in thread | raw e-mail
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=7ce0b2427487e2b22c11638153e2ab8d4a0f7abc commit 7ce0b2427487e2b22c11638153e2ab8d4a0f7abc Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2026-04-06 23:34:15 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2026-04-07 09:58:08 +0000 math/py-z3-solver: update 4.14.1 → 4.16.0 --- math/py-z3-solver/Makefile | 3 +-- math/py-z3-solver/distinfo | 6 +++--- math/py-z3-solver/files/patch-CMakeLists.txt | 15 +++++++++++++-- 3 files changed, 17 insertions(+), 7 deletions(-) diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile index b8d3d8b1378e..40d18c74e1f4 100644 --- a/math/py-z3-solver/Makefile +++ b/math/py-z3-solver/Makefile @@ -1,7 +1,6 @@ PORTNAME= z3-solver DISTVERSIONPREFIX= z3- -DISTVERSION= 4.14.1 -PORTREVISION= 2 +DISTVERSION= 4.16.0 CATEGORIES= math PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} diff --git a/math/py-z3-solver/distinfo b/math/py-z3-solver/distinfo index 7626b5b86593..e2a94a1fdfec 100644 --- a/math/py-z3-solver/distinfo +++ b/math/py-z3-solver/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1742764116 -SHA256 (Z3Prover-z3-z3-4.14.1_GH0.tar.gz) = 81a02c2c64c64d6c3df233f59186b95627990ada0c4c2fc901c9c25a7072672a -SIZE (Z3Prover-z3-z3-4.14.1_GH0.tar.gz) = 5844214 +TIMESTAMP = 1744070000 +SHA256 (Z3Prover-z3-z3-4.16.0_GH0.tar.gz) = c68c3e5e4810b16126b8cb4c47eee85c1ac3e24a81914c8e371b40de9dd33ac7 +SIZE (Z3Prover-z3-z3-4.16.0_GH0.tar.gz) = 6136396 diff --git a/math/py-z3-solver/files/patch-CMakeLists.txt b/math/py-z3-solver/files/patch-CMakeLists.txt index 670b2e2e4e50..7e66518bee38 100644 --- a/math/py-z3-solver/files/patch-CMakeLists.txt +++ b/math/py-z3-solver/files/patch-CMakeLists.txt @@ -1,6 +1,6 @@ ---- CMakeLists.txt.orig 2024-10-07 22:51:28 UTC +--- CMakeLists.txt.orig 2026-02-18 22:57:51 UTC +++ CMakeLists.txt -@@ -1,4 +1,27 @@ message(STATUS "Emitting rules to build Z3 python bind +@@ -1,4 +1,38 @@ message(STATUS "Emitting rules to build Z3 python bind message(STATUS "Emitting rules to build Z3 python bindings") + +## portion of src/CMakeLists.txt @@ -24,6 +24,17 @@ + endif() +endforeach() + ++## Define libz3 as an imported target pointing to the pre-installed library ++if (NOT TARGET libz3) ++ find_library(LIBZ3_LIBRARY NAMES z3 libz3) ++ if (NOT LIBZ3_LIBRARY) ++ message(FATAL_ERROR "Could not find libz3 library") ++ endif() ++ add_library(libz3 SHARED IMPORTED) ++ set_target_properties(libz3 PROPERTIES ++ IMPORTED_LOCATION "${LIBZ3_LIBRARY}" ++ ) ++endif() + ############################################################################### # Add target to build python bindings for the build directoryhome | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?69d4d538.45570.37cea314>