Index: Makefile
===================================================================
--- Makefile	(revision 488017)
+++ Makefile	(working copy)
@@ -14,7 +14,7 @@
 
 # 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