| Port details on branch 2022Q2 |
- z3 Z3 Theorem Prover
- 4.8.17 math
 =0      4.8.17Version of this port present on the latest quarterly branch. - Maintainer: arrowd@FreeBSD.org
- Port Added: 2022-05-05 07:06:21
- Last Update: 2022-05-20 15:42:06
- Commit Hash: 656dc5d
- License: MIT
- WWW:
- https://github.com/Z3Prover/z3
- Description:
- Z3 is a high-performance theorem prover developed
at Microsoft Research.
WWW: https://github.com/Z3Prover/z3
  ¦  ¦  ¦  ¦ 
- 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 = 1653058564
SHA256 (Z3Prover-z3-z3-4.8.17_GH0.tar.gz) = 1e57637ce8d5212fd38453df28e2730a18e0a633f723682267be87f5b858a126
SIZE (Z3Prover-z3-z3-4.8.17_GH0.tar.gz) = 5232392
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:
-
- python3.8 : lang/python38
- There are no ports dependent upon this port
Configuration Options:- ===> The following configuration options are available for z3-4.8.17:
DEBUG=off: Build with debugging support
GMP=off: Use GMP library for AP arithmetic
STATIC=off: Build static z3 library
===> Use 'make config' to modify these settings
- Options name:
- math_z3
- USES:
- compiler:c++11-lang python:build
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 2
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
4.8.17
20 May 2022 15:42:06
 |
Gleb Popov (arrowd) |
math/z3: Update to 4.8.17
(cherry picked from commit 1bbe14a63386e61b53e8c7e1eb082b9b6fe6365e) |
4.8.16
05 May 2022 07:05:21
|
Gleb Popov (arrowd) |
math/z3: Update to 4.8.16
Fix DEBUG option by not stripping resulting binaries.
Reported by: repology.org
(cherry picked from commit 2300e831acba031f2f0b44a73d74a7526c287ca2) |
Number of commits found: 2
|
As an Amazon Associate I earn from qualifying purchases.