diff options
author | Mark Linimon <linimon@FreeBSD.org> | 2019-09-01 21:38:30 +0000 |
---|---|---|
committer | Mark Linimon <linimon@FreeBSD.org> | 2019-09-01 21:38:30 +0000 |
commit | d5ddd11e690a9770e4a0a76ebcfbb0d481068e54 (patch) | |
tree | 3d164430c6afbfc5abd8f7cb65d53fa08df14c66 /math/vampire | |
parent | 6a97416d76be62640ecad50b22e15f734ed62d36 (diff) | |
download | ports-d5ddd11e690a9770e4a0a76ebcfbb0d481068e54.tar.gz ports-d5ddd11e690a9770e4a0a76ebcfbb0d481068e54.zip |
Notes
Diffstat (limited to 'math/vampire')
-rw-r--r-- | math/vampire/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/vampire/Makefile b/math/vampire/Makefile index 9cb3a994b954..7c2e9e6ab983 100644 --- a/math/vampire/Makefile +++ b/math/vampire/Makefile @@ -10,7 +10,7 @@ COMMENT= Automatic theorem prover LICENSE= BSD2CLAUSE xLICENSE_FILE= ${WRKSRC}/LICENSE -USES= gmake +USES= compiler:c++11-lang gmake USE_GITHUB= yes GH_ACCOUNT= vprover |