Date: Sat, 8 Aug 2020 22:47:28 +0000 (UTC) From: Mateusz Piotrowski <0mp@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r544530 - head/math/py-pysmt Message-ID: <202008082247.078MlS2W073689@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202008082247.078MlS2W073689>