diff options
| author | arrowd <arrowd@FreeBSD.org> | 2018-09-23 04:31:22 +0800 |
|---|---|---|
| committer | arrowd <arrowd@FreeBSD.org> | 2018-09-23 04:31:22 +0800 |
| commit | dcacecd55272f80d8ef4048eb9d8529eb00e929d (patch) | |
| tree | 2d79ee67571d166c45c37647c31e59ef9eeb3303 /math | |
| parent | f475cea7544ff0419abb94a3ea0f5b92e466153b (diff) | |
| download | freebsd-ports-gnome-dcacecd55272f80d8ef4048eb9d8529eb00e929d.tar.gz freebsd-ports-gnome-dcacecd55272f80d8ef4048eb9d8529eb00e929d.tar.zst freebsd-ports-gnome-dcacecd55272f80d8ef4048eb9d8529eb00e929d.zip | |
math/z3: Add compiler:c++11-lang to USES.
PR: 231604
Submitted by: Piotr Kubaj <pkubaj@anongoth.pl>
Approved by: tcberner (mentor)
Diffstat (limited to 'math')
| -rw-r--r-- | math/z3/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index 409d42e86f9b..a399576f3c84 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -12,7 +12,7 @@ COMMENT= Z3 Theorem Prover LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.txt -USES= python:2.7,build +USES= compiler:c++11-lang python:2.7,build USE_GITHUB= yes GH_ACCOUNT= Z3Prover |