svn commit: r480432 - head/math/z3

[Gleb Popov]

Author: arrowd
Date: Sat Sep 22 20:31:22 2018
New Revision: 480432
URL: https://svnweb.freebsd.org/changeset/ports/480432

Log:
  math/z3: Add compiler:c++11-lang to USES.
  
  PR:		231604
  Submitted by:	Piotr Kubaj <pkubaj at anongoth.pl>
  Approved by:	tcberner (mentor)

Modified:
  head/math/z3/Makefile

Modified: head/math/z3/Makefile
==============================================================================
--- head/math/z3/Makefile	Sat Sep 22 19:37:22 2018	(r480431)
+++ head/math/z3/Makefile	Sat Sep 22 20:31:22 2018	(r480432)
@@ -12,7 +12,7 @@ COMMENT=	Z3 Theorem Prover
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE.txt
 
-USES=		python:2.7,build
+USES=		compiler:c++11-lang python:2.7,build
 USE_GITHUB=	yes
 GH_ACCOUNT=	Z3Prover