diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2018-09-22 20:31:22 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2018-09-22 20:31:22 +0000 |
| commit | db8c5aa67ee5d9bd9e39da49e8eca33b638ad54c (patch) | |
| tree | 2d79ee67571d166c45c37647c31e59ef9eeb3303 /math | |
| parent | 05acb2ea840e13be854ec2066a71e8381e50c702 (diff) | |
| download | ports-db8c5aa67ee5d9bd9e39da49e8eca33b638ad54c.tar.gz ports-db8c5aa67ee5d9bd9e39da49e8eca33b638ad54c.zip | |
Notes
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 |