z3 Z3 Theorem Prover
4.8.5 math =0

4.8.5Version of this port present on the latest quarterly branch.

Maintainer: arrowd@FreeBSD.org
Port Added: 2015-09-22 15:43:26
Last Update: 2019-06-26 19:41:25
SVN Revision: 505178
License: MIT

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

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

SVNWeb : Homepage

Pseudo-pkg-plist information, but much better, from make generate-plist
Expand this list (23 items)

1. /usr/local/share/licenses/z3-4.8.5/catalog.mk
2. /usr/local/share/licenses/z3-4.8.5/LICENSE
3. /usr/local/share/licenses/z3-4.8.5/MIT
4. bin/z3
5. include/z3++.h
6. include/z3.h
7. include/z3_algebraic.h
8. include/z3_api.h
9. include/z3_ast_containers.h
10. include/z3_fixedpoint.h
11. include/z3_fpa.h
12. include/z3_macros.h
13. include/z3_optimization.h
14. include/z3_polynomial.h
15. include/z3_rcf.h
16. include/z3_spacer.h
17. include/z3_v1.h
18. include/z3_version.h
19. lib/libz3.a
20. lib/libz3.so
21. lib/libz3.so.0
22. @postexec /usr/sbin/service ldconfig restart > /dev/null
23. @postunexec /usr/sbin/service ldconfig restart > /dev/null
Collapse this list.

Dependency lines:

• z3>0:math/z3

---

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

PKGNAME: z3

There is no flavor information for this port.

distinfo:

TIMESTAMP = 1561572798
SHA256 (Z3Prover-z3-Z3-4.8.5_GH0.tar.gz) = 4e8e232887ddfa643adb6a30dcd3743cb2fa6591735fbd302b49f7028cdc0363
SIZE (Z3Prover-z3-Z3-4.8.5_GH0.tar.gz) = 4177051

---

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

Build dependencies:

1. python2.7 : lang/python27

This port is required by:

for Build

1. security/klee

for Libraries

1. devel/llvm-devel
2. lang/cling

for Run

1. security/klee

---

Configuration Options

===> The following configuration options are available for z3-4.8.5:
     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:2.7,build

---

Master Sites:

1. https://codeload.github.com/Z3Prover/z3/tar.gz/Z3-4.8.5?dummy=/

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

14 vulnerabilities affecting 153 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2019-07-17 15:55:25