svn commit: r544530 - head/math/py-pysmt
Mateusz Piotrowski
0mp at FreeBSD.org
Sat Aug 8 22:47:29 UTC 2020
Author: 0mp
Date: Sat Aug 8 22:47:28 2020
New Revision: 544530
URL: https://svnweb.freebsd.org/changeset/ports/544530
Log:
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
Modified:
head/math/py-pysmt/Makefile
head/math/py-pysmt/distinfo
Modified: head/math/py-pysmt/Makefile
==============================================================================
--- head/math/py-pysmt/Makefile Sat Aug 8 20:54:59 2020 (r544529)
+++ head/math/py-pysmt/Makefile Sat Aug 8 22:47:28 2020 (r544530)
@@ -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
Modified: head/math/py-pysmt/distinfo
==============================================================================
--- head/math/py-pysmt/distinfo Sat Aug 8 20:54:59 2020 (r544529)
+++ head/math/py-pysmt/distinfo Sat Aug 8 22:47:28 2020 (r544530)
@@ -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
More information about the svn-ports-all
mailing list