diff options
| author | Mark Linimon <linimon@FreeBSD.org> | 2019-01-12 23:11:23 +0000 |
|---|---|---|
| committer | Mark Linimon <linimon@FreeBSD.org> | 2019-01-12 23:11:23 +0000 |
| commit | 6b227bdcfa9b2f9e363f2f521d00858ef695c737 (patch) | |
| tree | 0b10e0b04084cf41757cb361b620b3c300796c94 /math/py-z3-solver | |
| parent | eac83ab52c37580ea2374cb42c21ce5098232c25 (diff) | |
| download | ports-6b227bdcfa9b2f9e363f2f521d00858ef695c737.tar.gz ports-6b227bdcfa9b2f9e363f2f521d00858ef695c737.zip | |
This port requires USES=compiler:c++11-lang to build on GCC-based
architectures.
PR: 234336
Submitted by: Piotr Kubaj
Approved by: maintainer
Notes
Notes:
svn path=/head/; revision=490085
Diffstat (limited to 'math/py-z3-solver')
| -rw-r--r-- | math/py-z3-solver/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile index d2106bd49e55..ce75cb89f07e 100644 --- a/math/py-z3-solver/Makefile +++ b/math/py-z3-solver/Makefile @@ -14,7 +14,7 @@ LICENSE_FILE= ${WRKSRC}/../../../LICENSE.txt # CAVEAT: It should have LIB_DEPENDS=libz3.so:math/z3, but currently it rebuilds all code, see https://github.com/Z3Prover/z3/issues/1767 -USES= python +USES= compiler:c++11-lang python USE_GITHUB= yes GH_ACCOUNT= Z3Prover GH_PROJECT= z3 |