svn commit: r504170 - head/math/boolector

[Yuri Victorovich]

Author: yuri
Date: Fri Jun 14 07:46:35 2019
New Revision: 504170
URL: https://svnweb.freebsd.org/changeset/ports/504170

Log:
  math/boolector: Add USES=compiler:c++11-lang

Modified:
  head/math/boolector/Makefile

Modified: head/math/boolector/Makefile
==============================================================================
--- head/math/boolector/Makefile	Fri Jun 14 07:37:00 2019	(r504169)
+++ head/math/boolector/Makefile	Fri Jun 14 07:46:35 2019	(r504170)
@@ -14,7 +14,7 @@ LICENSE_FILE=	${WRKSRC}/COPYING
 BUILD_DEPENDS=	picosat>0:math/picosat
 LIB_DEPENDS=	libbtor2parser.so:math/btor2tools
 
-USES=		cmake:noninja # ninja fails to build tests
+USES=		cmake:noninja compiler:c++11-lang # ninja fails to build tests
 USE_GITHUB=	yes
 GH_ACCOUNT=	Boolector