From db8c5aa67ee5d9bd9e39da49e8eca33b638ad54c Mon Sep 17 00:00:00 2001
From: Gleb Popov <arrowd@FreeBSD.org>
Date: Sat, 22 Sep 2018 20:31:22 +0000
Subject: [PATCH] math/z3: Add compiler:c++11-lang to USES.

PR:		231604
Submitted by:	Piotr Kubaj <pkubaj@anongoth.pl>
Approved by:	tcberner (mentor)
---
 math/z3/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/math/z3/Makefile b/math/z3/Makefile
index 409d42e86f9b..a399576f3c84 100644
--- a/math/z3/Makefile
+++ b/math/z3/Makefile
@@ -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