svn commit: r510745 - head/math/vampire

[Mark Linimon]

Author: linimon
Date: Sun Sep  1 21:38:30 2019
New Revision: 510745
URL: https://svnweb.freebsd.org/changeset/ports/510745

Log:
  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"

Modified:
  head/math/vampire/Makefile

Modified: head/math/vampire/Makefile
==============================================================================
--- head/math/vampire/Makefile	Sun Sep  1 21:10:51 2019	(r510744)
+++ head/math/vampire/Makefile	Sun Sep  1 21:38:30 2019	(r510745)
@@ -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