4 commits

Author	SHA1	Message	Date
Mark Linimon	6b227bdcfa	This port requires USES=compiler:c++11-lang to build on GCC-based ... architectures. PR: 234336 Submitted by: Piotr Kubaj Approved by: maintainer	2019-01-12 23:11:23 +00:00
Yuri Victorovich	7b989edc68	math/py-z3: Rename back to math/py-z3-solver to match it on PyPI website ... z3 is a different project on PyPI. Reported by: koobs	2018-07-30 20:17:04 +00:00
Yuri Victorovich	0b032b9ee6	math/py-z3-solver: Rename to math/py-z3 to have a more intuitive name ... Reported by: arrowd	2018-07-25 19:14:54 +00:00
Yuri Victorovich	fc1d16a73d	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	2018-07-24 21:03:48 +00:00