notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Port details
z3 Z3 Theorem Prover
4.8.10 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 4.8.10Version of this port present on the latest quarterly branch.
Maintainer: arrowd@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2015-09-22 15:43:26
Last Update: 2021-04-07 08:09:01
Commit Hash: cf118cc
License: MIT
Description:
SVNWeb : git : 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:
  • For RUN/BUILD depends:
    • z3>0:math/z3
  • For LIB depends:
    • libz3.so:math/z3
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
PKGNAME: z3
Flavors: there is no flavor information for this port.
distinfo:
Packages (timestamps in pop-ups are UTC):
z3
ABIlatestquarterly
FreeBSD:11:aarch644.7.1_14.8.8
FreeBSD:11:amd644.8.104.8.10
FreeBSD:11:armv64.4.04.8.8
FreeBSD:11:i3864.8.104.8.10
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch644.7.1_14.8.10
FreeBSD:12:amd644.8.104.8.10
FreeBSD:12:armv64.7.1_14.8.8
FreeBSD:12:armv7--
FreeBSD:12:i3864.8.104.8.10
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64-4.8.10
FreeBSD:13:aarch644.8.94.8.10
FreeBSD:13:amd644.8.104.8.10
FreeBSD:13:armv6--
FreeBSD:13:armv7--
FreeBSD:13:i3864.8.104.8.10
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc644.8.94.8.10
FreeBSD:14:aarch644.8.10-
FreeBSD:14:amd644.8.10-
FreeBSD:14:armv6--
FreeBSD:14:armv7--
FreeBSD:14:i3864.8.10-
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc644.8.10-
 

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/hs-cryptol
  2. security/klee

Configuration Options:
Options name:

USES:

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.

Number of commits found: 28

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
07 Apr 2021 08:09:01
 files touched by this commit commit hash:cf118ccf875508b9a1c570044c93cfcc82bd455c  4.8.10
mat search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  4.8.10
mat search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
18 Feb 2021 14:35:50
Original commit files touched by this commit Revision:565936  4.8.10
arrowd search for other commits by this committer
math/z3: Update to 4.8.10
20 Oct 2020 19:02:37
Original commit files touched by this commit Revision:552845  4.8.9
arrowd search for other commits by this committer
math/z3: Update to 4.8.9
13 May 2020 08:18:06
Original commit files touched by this commit Revision:535095  4.8.8
arrowd search for other commits by this committer
math/z3: Update to 4.8.8.
14 Apr 2020 10:45:32
Original commit files touched by this commit Revision:531665  4.8.7
pkubaj search for other commits by this committer
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.
24 Nov 2019 07:17:49
Original commit files touched by this commit Revision:518299  4.8.7
arrowd search for other commits by this committer
math/z3: Pull in upstream patch to fix build on i386.

Reported by:	pkg-fallout
23 Nov 2019 15:55:44
Original commit files touched by this commit Revision:518251  4.8.7
arrowd search for other commits by this committer
math/z3: Update to 4.8.7.
21 Sep 2019 20:32:15
Original commit files touched by this commit Revision:512541  4.8.6
arrowd search for other commits by this committer
math/z3: Update to 4.8.6.
26 Jul 2019 20:46:57
Original commit files touched by this commit Revision:507372  4.8.5_1
gerald search for other commits by this committer
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
26 Jun 2019 18:41:25
Original commit files touched by this commit Revision:505178  4.8.5
arrowd search for other commits by this committer
math/z3: Update to 4.8.5.
23 Feb 2019 16:26:38
Original commit files touched by this commit Revision:493700  4.8.4
arrowd search for other commits by this committer
math/z3: Update to 4.8.4.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D19306
12 Dec 2018 01:35:36
Original commit files touched by this commit Revision:487272  4.8.3_1
gerald search for other commits by this committer
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
24 Nov 2018 11:43:44
Original commit files touched by this commit Revision:485759  4.8.3
arrowd search for other commits by this committer
math/z3: Update to 4.8.3

Approved by:	tcberner (mentor)
Differential Revision:	   https://reviews.freebsd.org/D18305
22 Sep 2018 20:31:22
Original commit files touched by this commit Revision:480432  4.7.1_1
arrowd search for other commits by this committer
math/z3: Add compiler:c++11-lang to USES.

PR:		231604
Submitted by:	Piotr Kubaj <pkubaj@anongoth.pl>
Approved by:	tcberner (mentor)
18 Sep 2018 16:59:02
Original commit files touched by this commit Revision:480036  4.7.1_1
emaste search for other commits by this committer
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
24 Jul 2018 21:03:48
Original commit files touched by this commit Revision:475278  4.7.1_1
yuri search for other commits by this committer
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
17 Jun 2018 17:23:33
Original commit files touched by this commit Revision:472613  4.7.1
arrowd search for other commits by this committer
math/z3: Update to 4.7.1.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D15864
09 Mar 2018 16:55:38
Original commit files touched by this commit Revision:463977  4.6.0
linimon search for other commits by this committer
Mark this ports unbroken on powerpc64.

While here, pet portlint.

Approved by:	portmgr (tier-2 blanket)
23 Jan 2018 13:55:27
Original commit files touched by this commit Revision:459750  4.6.0
ale search for other commits by this committer
Update to 4.6.0 release and create shared lib symlink.

Differential Revision:	https://reviews.freebsd.org/D13637
Submitted by:	maintainer
24 Dec 2017 13:01:36
Original commit files touched by this commit Revision:457155  4.5.0_2
jrm search for other commits by this committer
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
30 Nov 2017 15:50:34
Original commit files touched by this commit Revision:455210  4.5.0_1  Sanity Test Failure
mat search for other commits by this committer
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
(Only the first 15 lines of the commit message are shown above View all of this commit message)
05 Sep 2017 15:26:55
Original commit files touched by this commit Revision:449291  4.5.0_1
jrm search for other commits by this committer
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)
09 Dec 2016 07:02:53
Original commit files touched by this commit Revision:428167  4.5.0
wen search for other commits by this committer
- Update to 4.5.0

PR:		215126
Submitted by:	itbot@list.ru
Approved by:	6yearold@gmail.com(maintainer)
21 Apr 2016 16:43:15
Original commit files touched by this commit Revision:413746  4.4.0
swills search for other commits by this committer
many ports: mark broken on powerpc64
01 Apr 2016 14:16:20
Original commit files touched by this commit Revision:412348  4.4.0
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
23 Sep 2015 15:09:10
Original commit files touched by this commit Revision:397618  4.4.0
feld search for other commits by this committer
Port improvements and modernization

This is a no-op

Submitted by:	jbeich
22 Sep 2015 15:43:18
Original commit files touched by this commit Revision:397543  4.4.0
feld search for other commits by this committer
Z3 is a high-performance theorem prover developed
at Microsoft Research.

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

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

Number of commits found: 28