Date: Tue, 12 Mar 2019 01:23:46 +0000 (UTC) From: Mark Linimon <linimon@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r495410 - head/math/lean Message-ID: <201903120123.x2C1Nkp6062519@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201903120123.x2C1Nkp6062519>