summaryrefslogtreecommitdiff
path: root/math/py-pysmt/Makefile
blob: 0cdfbc9bafca986821df79adf10adf86b9e49983 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

PORTNAME=	pysmt
DISTVERSIONPREFIX=	v
DISTVERSION=	0.9.0
CATEGORIES=	math python
PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}

MAINTAINER=	0mp@FreeBSD.org
COMMENT=	Solver-agnostic library for SMT formulae manipulation and solving

LICENSE=	APACHE20
LICENSE_FILE=	${WRKSRC}/LICENSE

RUN_DEPENDS=	${PYTHON_PKGNAMEPREFIX}six>=0:devel/py-six@${PY_FLAVOR}
TEST_DEPENDS=	${PYTHON_PKGNAMEPREFIX}nose>0:devel/py-nose@${PY_FLAVOR} \
		${PYTHON_PKGNAMEPREFIX}z3-solver>0:math/py-z3-solver@${PY_FLAVOR} \
		z3>0:math/z3 \
		cvc4>0:math/cvc4


USES=		python:3.5+
USE_GITHUB=	yes
USE_PYTHON=	autoplist concurrent distutils
PYDISTUTILS_PKGNAME=	PySMT

NO_ARCH=	yes

do-test:
	@(cd ${TEST_WRKSRC} && ${SETENV} ${TEST_ENV} nosetests-${PYTHON_VER} -v)

.include <bsd.port.mk>