ports/math/z3, branch 13-eolFreeBSD ports treehttps://cgit-dev.freebsd.org/ports/atom?h=13-eol2026-02-21T08:06:07Zmath/z3: Enable testing2026-02-21T08:06:07ZGleb Popovarrowd@FreeBSD.org2026-02-21T08:05:51Zurn:sha1:e14de79936daeea7931a14a1b214233f3b6f9a84math/z3: Update 4.15.8.0 => 4.16.0.02026-02-19T17:30:53ZÄlvenalven@FreeBSD.org2026-02-19T16:32:19Zurn:sha1:4802819042c3b791bec276dcaa22c46478d3454f
Approved by: arrowd@ (maintainer)
Approved by: db@, yuri@ (Mentors, implicit)
Differential Revision: https://reviews.freebsd.org/D55374
math/z3: Update 4.15.4.0 => 4.15.8.02026-02-17T06:59:35ZÄlvenalven@FreeBSD.org2026-02-17T06:36:50Zurn:sha1:14fe931bdd607aacc8cd30d94b2e3e918468975c
Changelogs:
* https://github.com/Z3Prover/z3/blob/master/RELEASE_NOTES.md#version-4158
* https://github.com/Z3Prover/z3/compare/z3-4.15.4...z3-4.15.5
* https://github.com/Z3Prover/z3/compare/z3-4.15.5...z3-4.15.6
* https://github.com/Z3Prover/z3/compare/z3-4.15.6...z3-4.15.7
* https://github.com/Z3Prover/z3/compare/z3-4.15.7...z3-4.15.8
Approved by: arrowd@ (maintainer)
Approved by: db@, yuri@ (Mentors, implicit)
Differential Revision: https://reviews.freebsd.org/D55324
math/z3: Update 4.15.3 => 4.15.42026-02-16T19:07:43ZÄlvenalven@FreeBSD.org2025-10-30T18:33:26Zurn:sha1:d314c06ee7c0b23a2b6e661a7c8ec97f1fcad848
Changelogs:
* https://github.com/Z3Prover/z3/blob/master/RELEASE_NOTES.md#version-4154
* https://github.com/Z3Prover/z3/compare/z3-4.15.3...z3-4.15.4
* Add WWW for main site
* Use dynamic SOVERSION for pkg-plist
Approved by: haskell@ (alven@, arrowd@)
Approved by: db@, yuri@ (Mentors, implicit)
Differential Revision: https://reviews.freebsd.org/D53474
math/z3: Update 4.14.1.0 => 4.15.3.02025-09-21T17:39:34ZÄlvenalven@FreeBSD.org2025-09-21T14:35:29Zurn:sha1:3c05ad1d2a4f802511dc5c626b12f582d7ed9f4d
Changelogs:
* https://github.com/Z3Prover/z3/blob/master/RELEASE_NOTES.md#version-4153
* https://github.com/Z3Prover/z3/compare/z3-4.14.1...z3-4.15.3
* Pet portfmt(1) and portlint(1)
Approved by: arrowd (maintainer)
Approved by: yuri@ (Mentor)
Differential Revision: https://reviews.freebsd.org/D52659
math/z3: Update to 4.14.12025-03-18T16:03:59ZGleb Popovarrowd@FreeBSD.org2025-03-18T12:20:49Zurn:sha1:4a66b5a5b35aa07b4f073363872dbcf5051d580amath/z3: Improve port2025-01-05T11:50:16ZDaniel Engbergdiizzy@FreeBSD.org2025-01-05T11:48:41Zurn:sha1:a7559a88b5ed0dba019930bb07739e54c45fdb7c
* Use upstream release archive
* Change USES= compiler:c++11-lang to compiler:c++20-lang
* Do some slight rearragement of port Makefile to more closely follow Porters Handbook
* Respect CPUTYPE set by framework
Note:
Upstream is inconsistent about versioning but 4.13.4.0 is defined
in project files.
PR: 283858
Reviewed by: arrowd (maintainer)
math/z3: Update to 4.13.42025-01-05T10:18:37ZGleb Popovarrowd@FreeBSD.org2025-01-05T10:18:23Zurn:sha1:88a769f5fa2afe0180ecac54a90ea0f3812208aemath/z3: Update to 4.13.22024-09-28T14:18:02ZGleb Popovarrowd@FreeBSD.org2024-09-28T14:17:38Zurn:sha1:92b9946c916c8f9841f795df308ae373c6a4916b
Reported by: repology.org
math/z3: fix build with clang 192024-09-15T12:03:37ZDimitry Andricdim@FreeBSD.org2024-09-15T11:53:50Zurn:sha1:88af7aa2d01a15a3d77380bf590921e04996ef45
Clang 19 has become more strict about errors in member functions, which
results in:
/wrkdirs/usr/ports/math/z3/work/z3-z3-4.13.0/src/math/lp/static_matrix.h:82:72: error: no member named 'get' in 'static_matrix<T, X>'; did you mean 'set'?
82 | ref operator=(ref & v) { m_matrix.set(m_row, m_col, v.m_matrix.get(v.m_row, v.m_col)); return *this; }
| ^~~
| set
/wrkdirs/usr/ports/math/z3/work/z3-z3-4.13.0/src/math/lp/static_matrix.h:164:10: note: 'set' declared here
164 | void set(unsigned row, unsigned col, T const & val);
| ^
Upstream fixed this as part of a few other changes for gcc 15 in
<https://github.com/Z3Prover/z3/commit/2ce89e5f4>, but it does not apply
cleanly to this version, so add a backported patch.
PR: 281512
MFH: 2024Q3