| Port details |
- py-z3-solver Python binding for Z3 Theorem Prover
- 4.8.17 math
 =0      4.8.10Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2018-07-24 21:04:04
- Last Update: 2022-05-11 06:21:10
- Commit Hash: 6b1cc7d
- License: MIT
- Description:
- Python binding for Z3, a high-performance theorem prover developed
at Microsoft Research.
WWW: https://github.com/Z3Prover/z3
- SVNWeb : git : Homepage
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- ${PYTHON_PKGNAMEPREFIX}z3-solver>0:math/py-z3-solver@${PY_FLAVOR}
- To install the port:
- cd /usr/ports/math/py-z3-solver/ && make install clean
- To add the package, run one of these commands:
- pkg install math/py-z3-solver
- pkg install py38-z3-solver
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.NOTE: This is a Python port. Instead of py38-z3-solver listed in the above command, you can pick from the names under the Packages section.- PKGNAME: py38-z3-solver
- Package flavors (<flavor>: <package>)
- distinfo:
- TIMESTAMP = 1652241609
SHA256 (Z3Prover-z3-z3-4.8.17_GH0.tar.gz) = 1e57637ce8d5212fd38453df28e2730a18e0a633f723682267be87f5b858a126
SIZE (Z3Prover-z3-z3-4.8.17_GH0.tar.gz) = 5232392
- Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- cmake : devel/cmake
- py38-setuptools>0 : devel/py-setuptools@py38
- python3.8 : lang/python38
- Runtime dependencies:
-
- py38-setuptools>0 : devel/py-setuptools@py38
- python3.8 : lang/python38
- This port is required by:
- for Run
-
- math/py-claripy
- Configuration Options:
- No options to configure
- Options name:
- math_py-z3-solver
- USES:
- compiler:c++11-lang python:3.6+
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
| Commit History - (may be incomplete: see SVNWeb link above for full details) |
| Date | By | Description |
|---|
11 May 2022 06:21:10
  4.8.17
|
Yuri Victorovich (yuri) |
math/py-z3-solver: Update 4.8.10 -> 4.8.17 |
12 Nov 2021 14:48:46
4.8.10
|
Piotr Kubaj (pkubaj) |
math/py-z3-solver: fix build on armv7
Same issue as on powerpc. |
10 Jun 2021 12:39:17
4.8.10
|
Piotr Kubaj (pkubaj) |
math/py-z3-solver: fix build on powerpc
ld: error: can't create dynamic relocation R_PPC_ADDR16_LO against local symbol
in readonly segment; recompile object files with -fPIC or pass '-Wl,-z,notext'
to allow text relocations in the output |
07 Apr 2021 08:09:01
4.8.10
|
Mathieu Arnold (mat) |
One more small cleanup, forgotten yesterday.
Reported by: lwhsu |
06 Apr 2021 14:31:07
4.8.10
|
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
15 Feb 2021 05:33:37
  4.8.10
|
yuri |
math/py-z3-solver: Update 4.8.9 -> 4.8.10 |
28 Dec 2020 23:02:15
4.8.9
|
antoine |
Drop python 2.7 support from a few ports
With hat: portmgr |
11 Nov 2020 05:25:15
4.8.9
|
yuri |
math/py-z3-solver: Update 4.8.8 -> 4.8.9 |
22 Jul 2020 00:47:13
4.8.8
|
yuri |
math/py-z3-solver: Update 4.8.7 -> 4.8.8 |
06 Mar 2020 02:17:03
4.8.7
|
yuri |
math/py-z3-solver: Update 4.8.4 -> 4.8.7 |
28 Jul 2019 18:29:13
4.8.4_3
|
yuri |
math/py-z3-solver: Broken on i386, workaround suggested by the error didn't help
Reported to the upstream.
Reported by: fallout |
26 Jul 2019 20:46:57
4.8.4_3
|
gerald |
Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.
PR: 238330 |
09 Jun 2019 04:17:35
4.8.4_2
|
yuri |
math/py-z3-solver: Move -fPIC to CXXFLAGS where it belongs |
19 May 2019 04:35:11
4.8.4_1
|
yuri |
math/py-z3-solver: Fix build on 13-CURRENT i386
Reported by: fallout |
10 Feb 2019 18:17:14
4.8.4
|
yuri |
math/py-z3-solver: Update 4.7.1 -> 4.8.4 |
12 Jan 2019 23:11:23
4.7.1
|
linimon |
This port requires USES=compiler:c++11-lang to build on GCC-based
architectures.
PR: 234336
Submitted by: Piotr Kubaj
Approved by: maintainer |
30 Jul 2018 20:17:05
4.7.1
|
yuri |
math/py-z3: Rename back to math/py-z3-solver to match it on PyPI website
z3 is a different project on PyPI.
Reported by: koobs |
25 Jul 2018 19:14:54
4.7.1
|
yuri |
math/py-z3-solver: Rename to math/py-z3 to have a more intuitive name
Reported by: arrowd |
24 Jul 2018 21:03:48
4.7.1
|
yuri |
math/z3: Fix the python binding to work for all python versions
The python binding is removed from math/z3 and placed into a separate
port math/mpy-z3-solver that builds for all python versions.
While here, remove the unnecessary CONFLICTS statement.
PR: 229937
Approved by: portmgr |
As an Amazon Associate I earn from qualifying purchases.