[pkgsrc/trunk]: pkgsrc/devel/py-manticore Let manticore depend on the impleme...

[khorben <khorben%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/671441c5fd95
branches:  trunk
changeset: 377614:671441c5fd95
user:      khorben <khorben%pkgsrc.org@localhost>
date:      Tue Mar 20 15:50:05 2018 +0000

description:
Let manticore depend on the implementation of Z3 it actually requires

With this change, this package should finally work for real.

Bump PKGREVISION.

diffstat:

 devel/py-manticore/Makefile |  6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diffs (23 lines):

diff -r e5ea6bb8dca7 -r 671441c5fd95 devel/py-manticore/Makefile
--- a/devel/py-manticore/Makefile       Tue Mar 20 15:48:21 2018 +0000
+++ b/devel/py-manticore/Makefile       Tue Mar 20 15:50:05 2018 +0000
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.7 2018/03/20 15:44:06 khorben Exp $
+# $NetBSD: Makefile,v 1.8 2018/03/20 15:50:05 khorben Exp $
 
 DISTNAME=      manticore-${GITHUB_TAG}
 PKGNAME=       ${PYPKGPREFIX}-${EGG_NAME}
-PKGREVISION=   4
+PKGREVISION=   5
 CATEGORIES=    devel
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=trailofbits/}
 GITHUB_PROJECT=        manticore
@@ -18,7 +18,7 @@
 DEPENDS+=      ${PYPKGPREFIX}-pyelftools-[0-9]*:../../devel/py-pyelftools
 DEPENDS+=      ${PYPKGPREFIX}-pysha3-[0-9]*:../../devel/py-pysha3
 DEPENDS+=      ${PYPKGPREFIX}-unicorn-[0-9]*:../../emulators/py-unicorn
-DEPENDS+=      ${PYPKGPREFIX}-z3-[0-9]*:../../math/py-z3
+DEPENDS+=      ${PYPKGPREFIX}-z3solver-[0-9]*:../../math/py-z3solver
 
 PYTHON_VERSIONS_ACCEPTED=      27