svn commit: r490085 - head/math/py-z3-solver

[Mark Linimon]

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