git: d65ced9ced81 - main - math/py-pysmt: update 0.9.0 → 0.9.6

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=d65ced9ced81901b8e60cdbc9bd4e4564303b8c0

commit d65ced9ced81901b8e60cdbc9bd4e4564303b8c0
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-07-18 12:35:20 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-07-18 12:36:58 +0000

    math/py-pysmt: update 0.9.0 → 0.9.6
    
    PR:     280342
    Approved by:    Mateusz Piotrowski <0mp@FreeBSD.org>
---
 math/py-pysmt/Makefile | 12 ++++--------
 math/py-pysmt/distinfo |  6 +++---
 2 files changed, 7 insertions(+), 11 deletions(-)

diff --git a/math/py-pysmt/Makefile b/math/py-pysmt/Makefile
index 880eb10ea804..13a35c1e4052 100644
--- a/math/py-pysmt/Makefile
+++ b/math/py-pysmt/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	pysmt
 DISTVERSIONPREFIX=	v
-DISTVERSION=	0.9.0
+DISTVERSION=	0.9.6
 CATEGORIES=	math python
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
@@ -12,19 +12,15 @@ 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} \
-		${PYTHON_PKGNAMEPREFIX}z3-solver>0:math/py-z3-solver@${PY_FLAVOR} \
+TEST_DEPENDS=	${PYTHON_PKGNAMEPREFIX}z3-solver>0:math/py-z3-solver@${PY_FLAVOR} \
 		z3>0:math/z3 \
-		cvc5>0:math/cvc5 # CVC4 was replaced with CVC5 - tests are now broken untile this is resolved: https://github.com/pysmt/pysmt/issues/744
+		cvc5>0:math/cvc5
 
 USES=		python
 USE_GITHUB=	yes
-USE_PYTHON=	autoplist concurrent distutils
+USE_PYTHON=	distutils autoplist concurrent distutils pytest
 PYDISTUTILS_PKGNAME=	PySMT
 
 NO_ARCH=	yes
 
-do-test:
-	@(cd ${TEST_WRKSRC} && ${SETENV} ${TEST_ENV} nosetests-${PYTHON_VER} -v)
-
 .include <bsd.port.mk>
diff --git a/math/py-pysmt/distinfo b/math/py-pysmt/distinfo
index 96797ea70f70..6ac6297f839c 100644
--- a/math/py-pysmt/distinfo
+++ b/math/py-pysmt/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1596801641
-SHA256 (pysmt-pysmt-v0.9.0_GH0.tar.gz) = 302a7b38872855d47d17fcf7a55eb8ca3b7ab6c0100a1b8afd2dc7f70be846b5
-SIZE (pysmt-pysmt-v0.9.0_GH0.tar.gz) = 1130338
+TIMESTAMP = 1721251216
+SHA256 (pysmt-pysmt-v0.9.6_GH0.tar.gz) = d69561abccd089c23352a6862b3939574d47d37ed82a5d7dce75127437c06032
+SIZE (pysmt-pysmt-v0.9.6_GH0.tar.gz) = 1141496