mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-21 04:06:46 +00:00
Code Issues Releases Activity

math/py-pysmt: Update to 0.9.0

Browse Source 
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
This commit is contained in:
Mateusz Piotrowski 2020-08-08 22:47:28 +00:00
parent 0d70c41ab1
commit 116c083715
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=544530
2 changed files with 10 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
math/py-pysmt/Makefile
View File

@ -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

6
math/py-pysmt/distinfo
View File

@ -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