Date: Sun, 1 Sep 2019 21:38:30 +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: r510745 - head/math/vampire Message-ID: <201909012138.x81LcUSA093376@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: linimon Date: Sun Sep 1 21:38:30 2019 New Revision: 510745 URL: https://svnweb.freebsd.org/changeset/ports/510745 Log: Fix build on GCC-based systems by adding compiler:c++11-lang to USES: cc1plus: error: unrecognized command line option "-Wno-terminate" cc1plus: error: unrecognized command line option "-std=c++11" Modified: head/math/vampire/Makefile Modified: head/math/vampire/Makefile ============================================================================== --- head/math/vampire/Makefile Sun Sep 1 21:10:51 2019 (r510744) +++ head/math/vampire/Makefile Sun Sep 1 21:38:30 2019 (r510745) @@ -10,7 +10,7 @@ COMMENT= Automatic theorem prover LICENSE= BSD2CLAUSE xLICENSE_FILE= ${WRKSRC}/LICENSE -USES= gmake +USES= compiler:c++11-lang gmake USE_GITHUB= yes GH_ACCOUNT= vprover
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201909012138.x81LcUSA093376>