Current status

z3 Z3 Theorem Prover

4.8.10 math =0 4.8.9Version of this port present on the latest quarterly branch.

Maintainer: arrowd@FreeBSD.org

Port Added: 2015-09-22 15:43:26

Last Update: 2021-02-18 14:35:50

SVN Revision: 565936

License: MIT

Description:

Z3 is a high-performance theorem prover developed at Microsoft Research. WWW: https://github.com/Z3Prover/z3

SVNWeb : Homepage

pkg-plist: as obtained via: make generate-plist

Expand this list (25 items)

Collapse this list.

1. @ldconfig
2. /usr/local/share/licenses/z3-4.8.10/catalog.mk
3. /usr/local/share/licenses/z3-4.8.10/LICENSE
4. /usr/local/share/licenses/z3-4.8.10/MIT
5. bin/z3
6. include/z3++.h
7. include/z3.h
8. include/z3_algebraic.h
9. include/z3_api.h
10. include/z3_ast_containers.h
11. include/z3_fixedpoint.h
12. include/z3_fpa.h
13. include/z3_macros.h
14. include/z3_optimization.h
15. include/z3_polynomial.h
16. include/z3_rcf.h
17. include/z3_spacer.h
18. include/z3_v1.h
19. include/z3_version.h
20. lib/libz3.a
21. lib/libz3.so
22. lib/libz3.so.0
23. @owner
24. @group
25. @mode

Collapse this list.

Dependency lines:

• ${PYTHON_PKGNAMEPREFIX}>0:math/z3@${PY_FLAVOR}

To install the port: cd /usr/ports/math/z3/ && make install clean

To add the package: pkg install z3

PKGNAME: z3

Flavors: there is no flavor information for this port.

distinfo:

TIMESTAMP = 1613658362 SHA256 (Z3Prover-z3-z3-4.8.10_GH0.tar.gz) = 12cce6392b613d3133909ce7f93985d2470f0d00138837de06cf7eb2992886b4 SIZE (Z3Prover-z3-z3-4.8.10_GH0.tar.gz) = 4731869

Dependencies

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:

1. python3.7 : lang/python37

This port is required by:

for Build

1. security/klee

for Libraries

1. lang/cling
2. lang/solidity
3. security/py-angr
4. sysutils/triton

for Run

1. security/klee

Configuration Options

===> The following configuration options are available for z3-4.8.10: DEBUG=off: Build with debugging support GMP=off: Use GMP library for AP arithmetic STATIC=on: Build static z3 library ===> Use 'make config' to modify these settings

USES:

compiler:c++11-lang python:build

Master Sites:

Expand this list (1 items)

Collapse this list.
1. https://codeload.github.com/Z3Prover/z3/tar.gz/z3-4.8.10?dummy=/
Collapse this list.

math/z3: Update to 4.8.10

math/z3: Update to 4.8.9

math/z3: Update to 4.8.8.

math/z3: fix build on powerpc with clang

Add -fPIC to CXXFLAGS:
ld: error: relocation R_PPC_ADDR16_HA cannot be used against local symbol;
recompile with -fPIC
>>> defined in api/dll/gparams_register_modules.o
>>> referenced by gparams_register_modules.cpp
>>>              
api/dll/gparams_register_modules.o:(gparams_register_modules())

Adding -Wl,-znotext to LDFLAGS doesn't help.

math/z3: Pull in upstream patch to fix build on i386.

Reported by:	pkg-fallout

math/z3: Update to 4.8.7.

math/z3: Update to 4.8.6.

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

math/z3: Update to 4.8.5.

math/z3: Update to 4.8.4.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D19306

Bump PORTREVISION for ports depending on the canonical version of GCC
defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t
GCC 8.2 under most circumstances.

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, as a double check, everything INDEX-11 showed depending on lang/gcc7.

PR:		231590

math/z3: Update to 4.8.3

Approved by:	tcberner (mentor)
Differential Revision:	   https://reviews.freebsd.org/D18305

math/z3: Add compiler:c++11-lang to USES.

PR:		231604
Submitted by:	Piotr Kubaj <pkubaj@anongoth.pl>
Approved by:	tcberner (mentor)

math/z3: add -znotext to LDFLAGS on i386, for lld

This port links some non-PIC code, which fails with lld as it defaults
to disallowing relocations against read-only segments. For i386 we can
just add -znotext unconditionally: for GNU BFD ld it just affirms BFD's
existing default.

PR:		214864
Approved by:	portmgr (lld blanket)
Sponsored by:	The FreeBSD Foundation

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

math/z3: Update to 4.7.1.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D15864

Mark this ports unbroken on powerpc64.

While here, pet portlint.

Approved by:	portmgr (tier-2 blanket)

Update to 4.6.0 release and create shared lib symlink.

Differential Revision:	https://reviews.freebsd.org/D13637
Submitted by:	maintainer

math/z3: Add missing dependency on devel/py-setuptools

PR:		224438
Reported by:	cem
Reviewed by:	mat
Approved by:	6yearold@gmail.com (maintainer)
Differential Revision:	https://reviews.freebsd.org/D13542

Convert Python ports to FLAVORS.

  Ports using USE_PYTHON=distutils are now flavored.  They will
  automatically get flavors (py27, py34, py35, py36) depending on what
  versions they support.

  There is also a USE_PYTHON=flavors for ports that do not use distutils
  but need FLAVORS to be set.  A USE_PYTHON=noflavors can be set if
  using distutils but flavors are not wanted.

  A new USE_PYTHON=optsuffix that will add PYTHON_PKGNAMESUFFIX has been
  added to cope with Python ports that did not have the Python
  PKGNAMEPREFIX but are flavored.

  USES=python now also exports a PY_FLAVOR variable that contains the

math/z3: Patch to add SONAME to shared library

Also ensure that python is available at build time when the PYTHON option
(for python bindings) is off.

PR:		221321
Submitted by:	6yearold@gmail.com (maintainer)

- Update to 4.5.0

PR:		215126
Submitted by:	itbot@list.ru
Approved by:	6yearold@gmail.com(maintainer)

many ports: mark broken on powerpc64

Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight

Port improvements and modernization

This is a no-op

Submitted by:	jbeich

Z3 is a high-performance theorem prover developed
at Microsoft Research.

WWW: https://github.com/Z3Prover/z3

PR:		202136
Submitted by:	6yearold@gmail.com

10 vulnerabilities affecting 79 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2021-03-05 21:21:29