From owner-svn-ports-head@freebsd.org  Sun Dec 24 13:01:37 2017
Return-Path: <owner-svn-ports-head@freebsd.org>
Delivered-To: svn-ports-head@mailman.ysv.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 by mailman.ysv.freebsd.org (Postfix) with ESMTP id 5E8E9E8CE81;
 Sun, 24 Dec 2017 13:01:37 +0000 (UTC) (envelope-from jrm@FreeBSD.org)
Received: from repo.freebsd.org (repo.freebsd.org
 [IPv6:2610:1c1:1:6068::e6a:0])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (Client did not present a certificate)
 by mx1.freebsd.org (Postfix) with ESMTPS id 2BF7C787D2;
 Sun, 24 Dec 2017 13:01:37 +0000 (UTC) (envelope-from jrm@FreeBSD.org)
Received: from repo.freebsd.org ([127.0.1.37])
 by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id vBOD1aES077716;
 Sun, 24 Dec 2017 13:01:36 GMT (envelope-from jrm@FreeBSD.org)
Received: (from jrm@localhost)
 by repo.freebsd.org (8.15.2/8.15.2/Submit) id vBOD1aEE077715;
 Sun, 24 Dec 2017 13:01:36 GMT (envelope-from jrm@FreeBSD.org)
Message-Id: <201712241301.vBOD1aEE077715@repo.freebsd.org>
X-Authentication-Warning: repo.freebsd.org: jrm set sender to jrm@FreeBSD.org
 using -f
From: Joseph Mingrone <jrm@FreeBSD.org>
Date: Sun, 24 Dec 2017 13:01:36 +0000 (UTC)
To: ports-committers@freebsd.org, svn-ports-all@freebsd.org,
 svn-ports-head@freebsd.org
Subject: svn commit: r457155 - head/math/z3
X-SVN-Group: ports-head
X-SVN-Commit-Author: jrm
X-SVN-Commit-Paths: head/math/z3
X-SVN-Commit-Revision: 457155
X-SVN-Commit-Repository: ports
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-BeenThere: svn-ports-head@freebsd.org
X-Mailman-Version: 2.1.25
Precedence: list
List-Id: SVN commit messages for the ports tree for head
 <svn-ports-head.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/svn-ports-head>, 
 <mailto:svn-ports-head-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-ports-head/>
List-Post: <mailto:svn-ports-head@freebsd.org>
List-Help: <mailto:svn-ports-head-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/svn-ports-head>,
 <mailto:svn-ports-head-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sun, 24 Dec 2017 13:01:37 -0000

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@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@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