FreshPorts -- The Place For Ports notbugIf you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

Port details
z3 Z3 Theorem Prover
4.6.0 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
Maintainer: 6yearold@gmail.com search for ports maintained by this maintainer
Port Added: 22 Sep 2015 15:43:26
License: MIT
Z3 is a high-performance theorem prover developed
at Microsoft Research.

WWW: https://github.com/Z3Prover/z3
SVNWeb : Homepage : PortsMon
    Pseudo-pkg-plist information, but much better, from make generate-plist
    Expand this list (44 items)
  1. /usr/local/share/licenses/z3-4.6.0/catalog.mk
  2. /usr/local/share/licenses/z3-4.6.0/LICENSE
  3. /usr/local/share/licenses/z3-4.6.0/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_interp.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. lib/libz3.a
  20. lib/libz3.so
  21. lib/libz3.so.0
  22. lib/python2.7/site-packages/z3/__init__.py
  23. lib/python2.7/site-packages/z3/__init__.pyc
  24. lib/python2.7/site-packages/z3/lib/libz3.so
  25. lib/python2.7/site-packages/z3/z3.py
  26. lib/python2.7/site-packages/z3/z3.pyc
  27. lib/python2.7/site-packages/z3/z3consts.py
  28. lib/python2.7/site-packages/z3/z3consts.pyc
  29. lib/python2.7/site-packages/z3/z3core.py
  30. lib/python2.7/site-packages/z3/z3core.pyc
  31. lib/python2.7/site-packages/z3/z3num.py
  32. lib/python2.7/site-packages/z3/z3num.pyc
  33. lib/python2.7/site-packages/z3/z3poly.py
  34. lib/python2.7/site-packages/z3/z3poly.pyc
  35. lib/python2.7/site-packages/z3/z3printer.py
  36. lib/python2.7/site-packages/z3/z3printer.pyc
  37. lib/python2.7/site-packages/z3/z3rcf.py
  38. lib/python2.7/site-packages/z3/z3rcf.pyc
  39. lib/python2.7/site-packages/z3/z3types.py
  40. lib/python2.7/site-packages/z3/z3types.pyc
  41. lib/python2.7/site-packages/z3/z3util.py
  42. lib/python2.7/site-packages/z3/z3util.pyc
  43. @postexec /sbin/ldconfig -m /usr/local/lib
  44. @postunexec /sbin/ldconfig -R
  45. Collapse this list.

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

PKGNAME: z3

distinfo:

TIMESTAMP = 1516713093
SHA256 (Z3Prover-z3-z3-4.6.0_GH0.tar.gz) = 511da31d1f985cf0c79b2de05bda4e057371ba519769d1546ff71e1304fe53c9
SIZE (Z3Prover-z3-z3-4.6.0_GH0.tar.gz) = 3987830


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

Build dependencies:
  1. python2.7 : lang/python27
Runtime dependencies:
  1. py27-setuptools>0 : devel/py-setuptools@py27
  2. python2.7 : lang/python27
There are no ports dependent upon this port

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

USES:
python:2.7

Master Sites:
  1. https://codeload.github.com/Z3Prover/z3/tar.gz/z3-4.6.0?dummy=/

Number of commits found: 9

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
23 Jan 2018 13:55:27
Original commit files touched by this commit  4.6.0
Revision:459750
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  4.5.0_2
Revision:457155
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  4.5.0_1
Revision:455210  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  4.5.0_1
Revision:449291
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  4.5.0
Revision:428167
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  4.4.0
Revision:413746
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  4.4.0
Revision:412348
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  4.4.0
Revision:397618
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  4.4.0
Revision:397543
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: 9

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
chromiumJan 23
chromium*Jan 23
chromiumJan 23
chromiumJan 23
powerdns-recursorJan 23
mariadb100-serverJan 19
mariadb101-serverJan 19
mariadb102-serverJan 19
mariadb55-serverJan 19
mysql55-serverJan 19
mysql56-serverJan 19
mysql57-serverJan 19
percona55-serverJan 19
percona56-serverJan 19
percona57-serverJan 19

13 vulnerabilities affecting 84 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2018-01-23 11:36:04


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 32672
Broken 129
Deprecated 97
Ignore 369
Forbidden 0
Restricted 172
No CDROM 77
Vulnerable 46
Expired 8
Set to expire 88
Interactive 0
new 24 hours 4
new 48 hours13
new 7 days25
new fortnight1340
new month2019

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2018 Dan Langille. All rights reserved.