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 | www/py-libsass: Update 0.19.1 -> 0.19.2 (diff) | |
Fix build on GCC-based systems by adding compiler:c++11-lang to
USES:
cc1plus: error: unrecognized command line option "-Wno-terminate"
cc1plus: error: unrecognized command line option "-std=c++11"
Notes
Notes:
svn path=/head/; revision=510745
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 |