Date: Sat, 12 Jan 2019 23:11:23 +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: r490085 - head/math/py-z3-solver Message-ID: <201901122311.x0CNBNAL035140@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: linimon Date: Sat Jan 12 23:11:23 2019 New Revision: 490085 URL: https://svnweb.freebsd.org/changeset/ports/490085 Log: This port requires USES=compiler:c++11-lang to build on GCC-based architectures. PR: 234336 Submitted by: Piotr Kubaj Approved by: maintainer Modified: head/math/py-z3-solver/Makefile Modified: head/math/py-z3-solver/Makefile ============================================================================== --- head/math/py-z3-solver/Makefile Sat Jan 12 23:09:20 2019 (r490084) +++ head/math/py-z3-solver/Makefile Sat Jan 12 23:11:23 2019 (r490085) @@ -14,7 +14,7 @@ LICENSE_FILE= ${WRKSRC}/../../../LICENSE.txt # CAVEAT: It should have LIB_DEPENDS=libz3.so:math/z3, but currently it rebuilds all code, see https://github.com/Z3Prover/z3/issues/1767 -USES= python +USES= compiler:c++11-lang python USE_GITHUB= yes GH_ACCOUNT= Z3Prover GH_PROJECT= z3
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201901122311.x0CNBNAL035140>