svn commit: r495410 - head/math/lean

[Mark Linimon]

Author: linimon
Date: Tue Mar 12 01:23:46 2019
New Revision: 495410
URL: https://svnweb.freebsd.org/changeset/ports/495410

Log:
  Fix build on gcc-based architectures:
  
      LEAN requires g++ 4.9 or greater.
  
  Approved by:	portmgr (tier-2 blanket)

Modified:
  head/math/lean/Makefile

Modified: head/math/lean/Makefile
==============================================================================
--- head/math/lean/Makefile	Tue Mar 12 01:21:47 2019	(r495409)
+++ head/math/lean/Makefile	Tue Mar 12 01:23:46 2019	(r495410)
@@ -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