Tue Mar 20 15:50:06 2018 UTC ()
Let manticore depend on the implementation of Z3 it actually requires

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

Bump PKGREVISION.


(khorben)
diff -r1.7 -r1.8 pkgsrc/devel/py-manticore/Makefile
cvs diff -r1.7 -r1.8 pkgsrc/devel/py-manticore/Makefile (expand / switch to unified diff)

--- pkgsrc/devel/py-manticore/Makefile 2018/03/20 15:44:06 1.7
+++ pkgsrc/devel/py-manticore/Makefile 2018/03/20 15:50:05 1.8
@@ -1,26 +1,26 @@ @@ -1,26 +1,26 @@
1# $NetBSD: Makefile,v 1.7 2018/03/20 15:44:06 khorben Exp $ 1# $NetBSD: Makefile,v 1.8 2018/03/20 15:50:05 khorben Exp $
2 2
3DISTNAME= manticore-${GITHUB_TAG} 3DISTNAME= manticore-${GITHUB_TAG}
4PKGNAME= ${PYPKGPREFIX}-${EGG_NAME} 4PKGNAME= ${PYPKGPREFIX}-${EGG_NAME}
5PKGREVISION= 4 5PKGREVISION= 5
6CATEGORIES= devel 6CATEGORIES= devel
7MASTER_SITES= ${MASTER_SITE_GITHUB:=trailofbits/} 7MASTER_SITES= ${MASTER_SITE_GITHUB:=trailofbits/}
8GITHUB_PROJECT= manticore 8GITHUB_PROJECT= manticore
9GITHUB_TAG= 0.1.7 9GITHUB_TAG= 0.1.7
10 10
11MAINTAINER= khorben@defora.org 11MAINTAINER= khorben@defora.org
12HOMEPAGE= https://github.com/trailofbits/manticore/ 12HOMEPAGE= https://github.com/trailofbits/manticore/
13COMMENT= Symbolic execution tool for analysis of binaries and smart contracts 13COMMENT= Symbolic execution tool for analysis of binaries and smart contracts
14LICENSE= apache-2.0 14LICENSE= apache-2.0
15 15
16DEPENDS+= ${PYPKGPREFIX}-capstone-[0-9]*:../../devel/py-capstone 16DEPENDS+= ${PYPKGPREFIX}-capstone-[0-9]*:../../devel/py-capstone
17DEPENDS+= ${PYPKGPREFIX}-ply-[0-9]*:../../devel/py-ply 17DEPENDS+= ${PYPKGPREFIX}-ply-[0-9]*:../../devel/py-ply
18DEPENDS+= ${PYPKGPREFIX}-pyelftools-[0-9]*:../../devel/py-pyelftools 18DEPENDS+= ${PYPKGPREFIX}-pyelftools-[0-9]*:../../devel/py-pyelftools
19DEPENDS+= ${PYPKGPREFIX}-pysha3-[0-9]*:../../devel/py-pysha3 19DEPENDS+= ${PYPKGPREFIX}-pysha3-[0-9]*:../../devel/py-pysha3
20DEPENDS+= ${PYPKGPREFIX}-unicorn-[0-9]*:../../emulators/py-unicorn 20DEPENDS+= ${PYPKGPREFIX}-unicorn-[0-9]*:../../emulators/py-unicorn
21DEPENDS+= ${PYPKGPREFIX}-z3-[0-9]*:../../math/py-z3 21DEPENDS+= ${PYPKGPREFIX}-z3solver-[0-9]*:../../math/py-z3solver
22 22
23PYTHON_VERSIONS_ACCEPTED= 27 23PYTHON_VERSIONS_ACCEPTED= 27
24 24
25.include "../../lang/python/egg.mk" 25.include "../../lang/python/egg.mk"
26.include "../../mk/bsd.pkg.mk" 26.include "../../mk/bsd.pkg.mk"