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