diff options
| author | Mateusz Piotrowski <0mp@FreeBSD.org> | 2020-08-08 22:47:28 +0000 |
|---|---|---|
| committer | Mateusz Piotrowski <0mp@FreeBSD.org> | 2020-08-08 22:47:28 +0000 |
| commit | 116c083715a29883477a7259275a4be420eb59b6 (patch) | |
| tree | e794729e59b63c127ab7370f8917a193a878b747 /math/py-pysmt | |
| parent | 0d70c41ab1b5c81cfaf179fe7a25ac398ea62985 (diff) | |
| download | ports-116c083715a29883477a7259275a4be420eb59b6.tar.gz ports-116c083715a29883477a7259275a4be420eb59b6.zip | |
math/py-pysmt: Update to 0.9.0
Release notes: https://github.com/pysmt/pysmt/releases/tag/v0.9.0
Also:
- Add some solvers to TEST_DEPENDS to skip less tests
- Drop support for Python 2, it's not longer supported upstream
Notes
Notes:
svn path=/head/; revision=544530
Diffstat (limited to 'math/py-pysmt')
| -rw-r--r-- | math/py-pysmt/Makefile | 11 | ||||
| -rw-r--r-- | math/py-pysmt/distinfo | 6 |
2 files changed, 10 insertions, 7 deletions
diff --git a/math/py-pysmt/Makefile b/math/py-pysmt/Makefile index 61cd8796d4ae..722fc0366622 100644 --- a/math/py-pysmt/Makefile +++ b/math/py-pysmt/Makefile @@ -2,7 +2,7 @@ PORTNAME= pysmt DISTVERSIONPREFIX= v -DISTVERSION= 0.8.0 +DISTVERSION= 0.9.0 CATEGORIES= math python PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} @@ -13,10 +13,13 @@ 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} +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 -# Supported Python versions: 2.7,3.5+ -USES= python + +USES= python:3.5+ USE_GITHUB= yes USE_PYTHON= autoplist concurrent distutils PYDISTUTILS_PKGNAME= PySMT diff --git a/math/py-pysmt/distinfo b/math/py-pysmt/distinfo index 0b4ec99ad8f6..96797ea70f70 100644 --- a/math/py-pysmt/distinfo +++ b/math/py-pysmt/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1583537787 -SHA256 (pysmt-pysmt-v0.8.0_GH0.tar.gz) = 6a1f2ea69e97c9cecb43f9c5b3c5d786568cb26a3ebabe8c2b4e0acbd1870b94 -SIZE (pysmt-pysmt-v0.8.0_GH0.tar.gz) = 1129930 +TIMESTAMP = 1596801641 +SHA256 (pysmt-pysmt-v0.9.0_GH0.tar.gz) = 302a7b38872855d47d17fcf7a55eb8ca3b7ab6c0100a1b8afd2dc7f70be846b5 +SIZE (pysmt-pysmt-v0.9.0_GH0.tar.gz) = 1130338 |