Date: Sun, 24 Dec 2017 13:01:36 +0000 (UTC) From: Joseph Mingrone <jrm@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r457155 - head/math/z3 Message-ID: <201712241301.vBOD1aEE077715@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201712241301.vBOD1aEE077715>