Needs a c++11

math/z3/Makefile

@@ -1,4 +1,4 @@
-# $OpenBSD: Makefile,v 1.6 2018/06/18 08:15:11 rpointel Exp $
+# $OpenBSD: Makefile,v 1.7 2018/06/19 17:48:49 jca Exp $
 
 COMMENT =	z3 theorem prover
 
@@ -20,6 +20,9 @@ CONFIGURE_STYLE =	simple
 CONFIGURE_ARGS +=	--prefix=${PREFIX} \
 			--python
 
+# c++11
+COMPILER =	base-clang ports-gcc
+
 MODULES =	lang/python
 
 WRKDIST =	${WRKDIR}/z3-${DISTNAME}