aboutsummaryrefslogtreecommitdiff
path: root/math/z3
Commit message (Collapse)AuthorAgeFilesLines
* math/z3: Add compiler:c++11-lang to USES.Gleb Popov2018-09-221-1/+1
| | | | | | | | | PR: 231604 Submitted by: Piotr Kubaj <pkubaj@anongoth.pl> Approved by: tcberner (mentor) Notes: svn path=/head/; revision=480432
* math/z3: add -znotext to LDFLAGS on i386, for lldEd Maste2018-09-181-0/+1
| | | | | | | | | | | | | | 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 Notes: svn path=/head/; revision=480036
* math/z3: Fix the python binding to work for all python versionsYuri Victorovich2018-07-242-32/+4
| | | | | | | | | | | | | 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 Notes: svn path=/head/; revision=475278
* math/z3: Update to 4.7.1.Gleb Popov2018-06-173-16/+5
| | | | | | | | Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D15864 Notes: svn path=/head/; revision=472613
* Mark this ports unbroken on powerpc64.Mark Linimon2018-03-091-1/+0
| | | | | | | | | While here, pet portlint. Approved by: portmgr (tier-2 blanket) Notes: svn path=/head/; revision=463977
* Update to 4.6.0 release and create shared lib symlink.Alex Dupre2018-01-235-9/+22
| | | | | | | | Differential Revision: https://reviews.freebsd.org/D13637 Submitted by: maintainer Notes: svn path=/head/; revision=459750
* math/z3: Add missing dependency on devel/py-setuptoolsJoseph Mingrone2017-12-241-1/+2
| | | | | | | | | | | PR: 224438 Reported by: cem Reviewed by: mat Approved by: 6yearold@gmail.com (maintainer) Differential Revision: https://reviews.freebsd.org/D13542 Notes: svn path=/head/; revision=457155
* Convert Python ports to FLAVORS.Mathieu Arnold2017-11-301-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 current python flavor. It can be used in dependency lines when the port itself is not python flavored. For example, deskutils/calibre. By default, all the flavors are generated. To only generate flavors for the versions in PYTHON2_DEFAULT and PYTHON3_DEFAULT, define BUILD_DEFAULT_PYTHON_FLAVORS in your make.conf. In all the ports with Python dependencies, the *_DEPENDS entries MUST end with the flavor so that the framework knows which to build/use. This is done by appending '@${PY_FLAVOR}' after the origin (or @${FLAVOR} if in a Python module with Python flavors, as the content will be the same). For example: RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}six>0:devel/py-six@${PY_FLAVOR} PR: 223071 Reviewed by: portmgr, python Sponsored by: Absolight Differential Revision: https://reviews.freebsd.org/D12464 Notes: svn path=/head/; revision=455210
* math/z3: Patch to add SONAME to shared libraryJoseph Mingrone2017-09-052-3/+5
| | | | | | | | | | | 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) Notes: svn path=/head/; revision=449291
* - Update to 4.5.0Wen Heping2016-12-094-104/+50
| | | | | | | | | PR: 215126 Submitted by: itbot@list.ru Approved by: 6yearold@gmail.com(maintainer) Notes: svn path=/head/; revision=428167
* many ports: mark broken on powerpc64Steve Wills2016-04-211-0/+2
| | | | Notes: svn path=/head/; revision=413746
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-1/+1
| | | | | | | | With hat: portmgr Sponsored by: Absolight Notes: svn path=/head/; revision=412348
* Port improvements and modernizationMark Felder2015-09-233-9/+22
| | | | | | | | | This is a no-op Submitted by: jbeich Notes: svn path=/head/; revision=397618
* Z3 is a high-performance theorem prover developedMark Felder2015-09-225-0/+154
at Microsoft Research. WWW: https://github.com/Z3Prover/z3 PR: 202136 Submitted by: 6yearold@gmail.com Notes: svn path=/head/; revision=397543