| Port details on branch 2024Q3 |
- z3 Z3 Theorem Prover
- 4.13.0 math
 =0      4.13.0Version of this port present on the latest quarterly branch. - Maintainer: arrowd@FreeBSD.org
- Port Added: 2024-09-15 12:09:04
- Last Update: 2024-09-15 12:08:13
- Commit Hash: 1168d8b
- License: MIT
- WWW:
- https://github.com/Z3Prover/z3
- Description:
- Z3 is a high-performance theorem prover developed
at Microsoft Research.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/math/z3/ && make install clean
- To add the package, run one of these commands:
- pkg install math/z3
- pkg install z3
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: z3
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1713421143
SHA256 (Z3Prover-z3-z3-4.13.0_GH0.tar.gz) = 01bcc61c8362e37bb89fd2430f7e3385e86df7915019bd2ce45de9d9bd934502
SIZE (Z3Prover-z3-z3-4.13.0_GH0.tar.gz) = 5520232
No package information for this port in our database- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- cmake : devel/cmake-core
- ninja : devel/ninja
- There are no ports dependent upon this port
Configuration Options:- ===> The following configuration options are available for z3-4.13.0:
GMP=off: Use GMP library for AP arithmetic
===> Use 'make config' to modify these settings
- Options name:
- math_z3
- USES:
- cmake compiler:c++11-lang localbase:ldflags
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 1
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
4.13.0
15 Sep 2024 12:08:13
 |
Gleb Popov (arrowd)
Author: Dimitry Andric |
math/z3: fix build with clang 19
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
(cherry picked from commit 88af7aa2d01a15a3d77380bf590921e04996ef45) |
Number of commits found: 1
|
As an Amazon Associate I earn from qualifying purchases.