Attachment 252135 Details for Bug 280342 – patch

[patch] patch

py-pysmt.patch (text/plain), 1.66 KB, created by Yuri Victorovich on 2024-07-18 05:48:20 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Yuri Victorovich

Created: 2024-07-18 05:48:20 UTC

Size: 1.66 KB

patch

obsolete

>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

Actions: View | Diff

Attachments on bug 280342: 252135