|
Lines 1-6
Link Here
|
| 1 |
PORTNAME= pysmt |
1 |
PORTNAME= pysmt |
| 2 |
DISTVERSIONPREFIX= v |
2 |
DISTVERSIONPREFIX= v |
| 3 |
DISTVERSION= 0.9.0 |
3 |
DISTVERSION= 0.9.6 |
| 4 |
CATEGORIES= math python |
4 |
CATEGORIES= math python |
| 5 |
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} |
5 |
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} |
| 6 |
|
6 |
|
|
Lines 12-30
LICENSE= APACHE20
Link Here
|
| 12 |
LICENSE_FILE= ${WRKSRC}/LICENSE |
12 |
LICENSE_FILE= ${WRKSRC}/LICENSE |
| 13 |
|
13 |
|
| 14 |
RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}six>=0:devel/py-six@${PY_FLAVOR} |
14 |
RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}six>=0:devel/py-six@${PY_FLAVOR} |
| 15 |
TEST_DEPENDS= ${PYTHON_PKGNAMEPREFIX}nose>0:devel/py-nose@${PY_FLAVOR} \ |
15 |
TEST_DEPENDS= ${PYTHON_PKGNAMEPREFIX}z3-solver>0:math/py-z3-solver@${PY_FLAVOR} \ |
| 16 |
${PYTHON_PKGNAMEPREFIX}z3-solver>0:math/py-z3-solver@${PY_FLAVOR} \ |
|
|
| 17 |
z3>0:math/z3 \ |
16 |
z3>0:math/z3 \ |
| 18 |
cvc5>0:math/cvc5 # CVC4 was replaced with CVC5 - tests are now broken untile this is resolved: https://github.com/pysmt/pysmt/issues/744 |
17 |
cvc5>0:math/cvc5 |
| 19 |
|
18 |
|
| 20 |
USES= python |
19 |
USES= python |
| 21 |
USE_GITHUB= yes |
20 |
USE_GITHUB= yes |
| 22 |
USE_PYTHON= autoplist concurrent distutils |
21 |
USE_PYTHON= distutils autoplist concurrent distutils pytest |
| 23 |
PYDISTUTILS_PKGNAME= PySMT |
22 |
PYDISTUTILS_PKGNAME= PySMT |
| 24 |
|
23 |
|
| 25 |
NO_ARCH= yes |
24 |
NO_ARCH= yes |
| 26 |
|
25 |
|
| 27 |
do-test: |
|
|
| 28 |
@(cd ${TEST_WRKSRC} && ${SETENV} ${TEST_ENV} nosetests-${PYTHON_VER} -v) |
| 29 |
|
| 30 |
.include <bsd.port.mk> |
26 |
.include <bsd.port.mk> |