CVS commit: pkgsrc/devel/py-manticore

["Pierre Pronchery" <khorben%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   khorben
Date:           Tue Mar 20 15:50:06 UTC 2018

Modified Files:
        pkgsrc/devel/py-manticore: Makefile

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

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

Bump PKGREVISION.


To generate a diff of this commit:
cvs rdiff -u -r1.7 -r1.8 pkgsrc/devel/py-manticore/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/devel/py-manticore/Makefile
diff -u pkgsrc/devel/py-manticore/Makefile:1.7 pkgsrc/devel/py-manticore/Makefile:1.8
--- pkgsrc/devel/py-manticore/Makefile:1.7      Tue Mar 20 15:44:06 2018
+++ pkgsrc/devel/py-manticore/Makefile  Tue Mar 20 15:50:05 2018
@@ -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}-ply-[0-9]*:../.
 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