aboutsummaryrefslogtreecommitdiff
path: root/math/z3
Commit message (Expand)AuthorAgeFilesLines
* math/z3: Add compiler:c++11-lang to USES.Gleb Popov2018-09-221-1/+1
* math/z3: add -znotext to LDFLAGS on i386, for lldEd Maste2018-09-181-0/+1
* math/z3: Fix the python binding to work for all python versionsYuri Victorovich2018-07-242-32/+4
* math/z3: Update to 4.7.1.Gleb Popov2018-06-173-16/+5
* Mark this ports unbroken on powerpc64.Mark Linimon2018-03-091-1/+0
* Update to 4.6.0 release and create shared lib symlink.Alex Dupre2018-01-235-9/+22
* math/z3: Add missing dependency on devel/py-setuptoolsJoseph Mingrone2017-12-241-1/+2
* Convert Python ports to FLAVORS.Mathieu Arnold2017-11-301-2/+2
* math/z3: Patch to add SONAME to shared libraryJoseph Mingrone2017-09-052-3/+5
* - Update to 4.5.0Wen Heping2016-12-094-104/+50
* many ports: mark broken on powerpc64Steve Wills2016-04-211-0/+2
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-1/+1
* Port improvements and modernizationMark Felder2015-09-233-9/+22
* Z3 is a high-performance theorem prover developedMark Felder2015-09-225-0/+154