2022-01-04 21:53:26 +01:00
|
|
|
# $NetBSD: Makefile,v 1.6 2022/01/04 20:54:13 wiz Exp $
|
2018-03-15 03:24:18 +01:00
|
|
|
|
2022-01-04 21:53:26 +01:00
|
|
|
PKGREVISION= 1
|
2020-08-18 22:24:57 +02:00
|
|
|
.include "../../devel/py-angr/version.mk"
|
|
|
|
|
|
|
|
|
|
DISTNAME= claripy-${ANGR_VERSION}
|
2018-03-15 03:24:18 +01:00
|
|
|
PKGNAME= ${PYPKGPREFIX}-${EGG_NAME}
|
|
|
|
|
CATEGORIES= math
|
|
|
|
|
MASTER_SITES= ${MASTER_SITE_GITHUB:=angr/}
|
|
|
|
|
GITHUB_PROJECT= claripy
|
2020-09-29 00:56:38 +02:00
|
|
|
GITHUB_TAG= v${ANGR_VERSION}
|
2018-03-15 03:24:18 +01:00
|
|
|
|
|
|
|
|
MAINTAINER= khorben@defora.org
|
|
|
|
|
HOMEPAGE= https://github.com/angr/claripy/
|
|
|
|
|
COMMENT= Abstraction layer for constraint solvers
|
|
|
|
|
LICENSE= 2-clause-bsd
|
|
|
|
|
|
2020-01-09 15:02:31 +01:00
|
|
|
PYTHON_VERSIONS_INCOMPATIBLE= 27
|
2018-03-15 03:24:18 +01:00
|
|
|
|
2020-08-18 22:14:43 +02:00
|
|
|
DEPENDS+= ${PYPKGPREFIX}-cachetools>=0:../../devel/py-cachetools
|
|
|
|
|
DEPENDS+= ${PYPKGPREFIX}-decorator>=0:../../devel/py-decorator
|
|
|
|
|
DEPENDS+= ${PYPKGPREFIX}-future>=0:../../devel/py-future
|
|
|
|
|
DEPENDS+= ${PYPKGPREFIX}-smt>=0:../../math/py-smt
|
2020-09-29 00:56:38 +02:00
|
|
|
DEPENDS+= ${PYPKGPREFIX}-z3solver>=0:../../math/py-z3solver
|
2020-08-18 22:14:43 +02:00
|
|
|
|
|
|
|
|
do-test:
|
|
|
|
|
${RUN} cd ${WRKSRC}/tests && \
|
|
|
|
|
${SETENV} ${TEST_ENV} \
|
|
|
|
|
${PYTHONBIN} -m unittest discover
|
|
|
|
|
|
2018-03-15 03:24:18 +01:00
|
|
|
.include "../../lang/python/egg.mk"
|
|
|
|
|
.include "../../mk/bsd.pkg.mk"
|
