svn commit: r457155 - head/math/z3
Joseph Mingrone
jrm at FreeBSD.org
Sun Dec 24 13:01:37 UTC 2017
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
More information about the svn-ports-head
mailing list