diff options
| author | linimon <linimon@FreeBSD.org> | 2019-01-13 07:11:23 +0800 |
|---|---|---|
| committer | linimon <linimon@FreeBSD.org> | 2019-01-13 07:11:23 +0800 |
| commit | fa8cca4329aa8045620a322b190beb884a98d4b4 (patch) | |
| tree | 0b10e0b04084cf41757cb361b620b3c300796c94 /math | |
| parent | a271b48d94fb83b34c05a307e4e42869ead9a4ed (diff) | |
| download | freebsd-ports-gnome-fa8cca4329aa8045620a322b190beb884a98d4b4.tar.gz freebsd-ports-gnome-fa8cca4329aa8045620a322b190beb884a98d4b4.tar.zst freebsd-ports-gnome-fa8cca4329aa8045620a322b190beb884a98d4b4.zip | |
This port requires USES=compiler:c++11-lang to build on GCC-based
architectures.
PR: 234336
Submitted by: Piotr Kubaj
Approved by: maintainer
Diffstat (limited to 'math')
| -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 |