diff options
| author | Joseph Mingrone <jrm@FreeBSD.org> | 2017-12-24 21:01:36 +0800 |
|---|---|---|
| committer | Joseph Mingrone <jrm@FreeBSD.org> | 2017-12-24 21:01:36 +0800 |
| commit | ff2bee6b2a28d6c4dd1bc281398f258e392a5fa2 (patch) | |
| tree | 81be2db9ca8ae1b1cc5a489a700b5c65b6b2ba3a /math | |
| parent | c03ca81536ed0e5fa6fcaec6df35e880de4d04c4 (diff) | |
| download | freebsd-ports-gnome-ff2bee6b2a28d6c4dd1bc281398f258e392a5fa2.tar.gz freebsd-ports-gnome-ff2bee6b2a28d6c4dd1bc281398f258e392a5fa2.tar.zst freebsd-ports-gnome-ff2bee6b2a28d6c4dd1bc281398f258e392a5fa2.zip | |
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
Diffstat (limited to 'math')
| -rw-r--r-- | math/z3/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index e6bfcfbc907b..30b750ac1f0e 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -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 |