Fix build on gcc-based architectures:

LEAN requires g++ 4.9 or greater. Approved by: portmgr (tier-2 blanket)
2019-03-12 01:23:46 +00:00
parent 40b159973a
commit 1f57592d73
1 changed files with 1 additions and 1 deletions
@@ -14,7 +14,7 @@ LICENSE_FILE=	${WRKSRC}/../LICENSE

 LIB_DEPENDS=	libgmp.so:math/gmp

-USES=		cmake
+USES=		cmake compiler:c++11-lang
 USE_GITHUB=	yes
 GH_ACCOUNT=	leanprover
 USE_LDCONFIG=	yes