From 1f57592d7331b85daaea64c06bb06f2ab220bd05 Mon Sep 17 00:00:00 2001 From: Mark Linimon Date: Tue, 12 Mar 2019 01:23:46 +0000 Subject: [PATCH] Fix build on gcc-based architectures: LEAN requires g++ 4.9 or greater. Approved by: portmgr (tier-2 blanket) --- math/lean/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/math/lean/Makefile b/math/lean/Makefile index 20b82f037bba..1cc303054e3c 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -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