svn commit: r457155 - head/math/z3

[Joseph Mingrone]

Author: jrm
Date: Sun Dec 24 13:01:36 2017
New Revision: 457155
URL: https://svnweb.freebsd.org/changeset/ports/457155

Log:
  math/z3: Add missing dependency on devel/py-setuptools
  
  PR:		224438
  Reported by:	cem
  Reviewed by:	mat
  Approved by:	6yearold at gmail.com (maintainer)
  Differential Revision:	https://reviews.freebsd.org/D13542

Modified:
  head/math/z3/Makefile

Modified: head/math/z3/Makefile
==============================================================================
--- head/math/z3/Makefile	Sun Dec 24 12:56:03 2017	(r457154)
+++ head/math/z3/Makefile	Sun Dec 24 13:01:36 2017	(r457155)
@@ -3,7 +3,7 @@
 PORTNAME=	z3
 DISTVERSIONPREFIX=	${PORTNAME}-
 DISTVERSION=	4.5.0
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	math
 
 MAINTAINER=	6yearold at gmail.com
@@ -30,6 +30,7 @@ PYTHON_DESC=		Enable python bindings
 PYTHON_CONFIGURE_ON=	--python
 PYTHON_USES=		python:2.7
 PYTHON_USES_OFF=	python:2.7,build
+PYTHON_RUN_DEPENDS=	${PYTHON_PKGNAMEPREFIX}setuptools>0:devel/py-setuptools@${PY_FLAVOR}
 
 STATIC_DESC=		Build static z3 library
 STATIC_CONFIGURE_ON=	--staticlib