Date: Fri, 14 Jun 2019 07:46:35 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r504170 - head/math/boolector Message-ID: <201906140746.x5E7kZ86097155@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201906140746.x5E7kZ86097155>