CVS commit: pkgsrc/math/py-smt

To: pkgsrc-changes%NetBSD.org@localhost
Subject: CVS commit: pkgsrc/math/py-smt
From: "Adam Ciarcinski" <adam%netbsd.org@localhost>
Date: Wed, 7 Aug 2024 11:01:45 +0000

Module Name:    pkgsrc
Committed By:   adam
Date:           Wed Aug  7 11:01:45 UTC 2024

Modified Files:
        pkgsrc/math/py-smt: Makefile PLIST distinfo
Added Files:
        pkgsrc/math/py-smt: ALTERNATIVES

Log Message:
py-smt: updated to 0.9.6

0.9.6: 2022-06-24 -- CVC5 and upgraded solvers

* Fixed issue 613
* Fix missing file in Manifest
* Upgrade MathSAT to 5.6.6
* CI: Avoid running on PR branch push
* Upgrade MathSAT to 5.6.7
* Fix misspellings
* Upgrade Z3 to 4.8.17
* make FormulaContextualizer singleton in FormulaManager.
* README: Remove interpolants from Z3
* Parse logic str in Portfolio
* Make sudoku.py Python3 compatible
* Fix the definition of BVXnor
* Deterministic get_closer_logic
* Grammar correction
* example/parallel.py: typo fix
* Fix for pyximport
* Remove deprecated distutils
* Fixed removed imp module in Python 3.12
* [Boolector] Add support for const arrays and boolean indices/elements
* Update of all solvers


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/math/py-smt/ALTERNATIVES
cvs rdiff -u -r1.5 -r1.6 pkgsrc/math/py-smt/Makefile
cvs rdiff -u -r1.2 -r1.3 pkgsrc/math/py-smt/PLIST
cvs rdiff -u -r1.4 -r1.5 pkgsrc/math/py-smt/distinfo

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/math/py-smt/Makefile
diff -u pkgsrc/math/py-smt/Makefile:1.5 pkgsrc/math/py-smt/Makefile:1.6
--- pkgsrc/math/py-smt/Makefile:1.5     Thu May 11 09:18:47 2023
+++ pkgsrc/math/py-smt/Makefile Wed Aug  7 11:01:45 2024
@@ -1,40 +1,26 @@
-#      $NetBSD: Makefile,v 1.5 2023/05/11 09:18:47 adam Exp $
+# $NetBSD: Makefile,v 1.6 2024/08/07 11:01:45 adam Exp $
 
-VERSION=       0.9.5
-DISTNAME=      PySMT-${VERSION}
-PKGNAME=       ${PYPKGPREFIX}-smt-${VERSION}
-CATEGORIES=    math
-MASTER_SITES=  ${MASTER_SITE_GITHUB:=pysmt/}
-GITHUB_PROJECT=        pysmt
-GITHUB_TAG=    v${VERSION}
+DISTNAME=      PySMT-0.9.6
+PKGNAME=       ${PYPKGPREFIX}-${DISTNAME}
+CATEGORIES=    math python
+MASTER_SITES=  ${MASTER_SITE_PYPI:=P/PySMT/}
 
 MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
-HOMEPAGE=      http://www.pysmt.org/
+HOMEPAGE=      https://github.com/pysmt/pysmt
 COMMENT=       Library for SMT formula manipulation and solving
 LICENSE=       apache-2.0
 
-DEPENDS+=      ${PYPKGPREFIX}-six>=0:../../lang/py-six
-
-TEST_DEPENDS+= ${PYPKGPREFIX}-nose>=0:../../devel/py-nose
+TOOL_DEPENDS+= ${PYPKGPREFIX}-setuptools-[0-9]*:../../devel/py-setuptools
+TOOL_DEPENDS+= ${PYPKGPREFIX}-wheel-[0-9]*:../../devel/py-wheel
 TEST_DEPENDS+= ${PYPKGPREFIX}-z3>=0:../../math/py-z3
 
-PYTHON_SELF_CONFLICT=  yes
+USE_LANGUAGES= c # for testing
 
 PYTHON_VERSIONS_INCOMPATIBLE=  27
 
-USE_PKG_RESOURCES=     yes
-
-SUBST_CLASSES+=                python3
-SUBST_STAGE.python3=   pre-test
-SUBST_MESSAGE.python3= Fixing python3 interpreter
-SUBST_SED.python3+=    -e 's,python3 ,${PYTHONBIN} ,'
-SUBST_FILES.python3+=  run_tests.sh
-
-do-test:
-       ${RUN} cd ${WRKSRC} && \
-       ${SETENV} ${TEST_ENV} \
-       ${SH} run_tests.sh
+post-install:
+       cd ${DESTDIR}${PREFIX}/bin && \
+       ${MV} pysmt-install pysmt-install-${PYVERSSUFFIX} || ${TRUE}
 
-.include "../../lang/python/egg.mk"
-.include "../../lang/python/application.mk"
+.include "../../lang/python/wheel.mk"
 .include "../../mk/bsd.pkg.mk"

Index: pkgsrc/math/py-smt/PLIST
diff -u pkgsrc/math/py-smt/PLIST:1.2 pkgsrc/math/py-smt/PLIST:1.3
--- pkgsrc/math/py-smt/PLIST:1.2        Mon Jan  9 06:39:38 2023
+++ pkgsrc/math/py-smt/PLIST    Wed Aug  7 11:01:45 2024
@@ -1,10 +1,12 @@
-@comment $NetBSD: PLIST,v 1.2 2023/01/09 06:39:38 khorben Exp $
-bin/pysmt-install
-${PYSITELIB}/${EGG_INFODIR}/PKG-INFO
-${PYSITELIB}/${EGG_INFODIR}/SOURCES.txt
-${PYSITELIB}/${EGG_INFODIR}/dependency_links.txt
-${PYSITELIB}/${EGG_INFODIR}/entry_points.txt
-${PYSITELIB}/${EGG_INFODIR}/top_level.txt
+@comment $NetBSD: PLIST,v 1.3 2024/08/07 11:01:45 adam Exp $
+bin/pysmt-install-${PYVERSSUFFIX}
+${PYSITELIB}/${WHEEL_INFODIR}/LICENSE
+${PYSITELIB}/${WHEEL_INFODIR}/METADATA
+${PYSITELIB}/${WHEEL_INFODIR}/NOTICE
+${PYSITELIB}/${WHEEL_INFODIR}/RECORD
+${PYSITELIB}/${WHEEL_INFODIR}/WHEEL
+${PYSITELIB}/${WHEEL_INFODIR}/entry_points.txt
+${PYSITELIB}/${WHEEL_INFODIR}/top_level.txt
 ${PYSITELIB}/pysmt/__init__.py
 ${PYSITELIB}/pysmt/__init__.pyc
 ${PYSITELIB}/pysmt/__init__.pyo
@@ -32,9 +34,12 @@ ${PYSITELIB}/pysmt/cmd/installers/bdd.py
 ${PYSITELIB}/pysmt/cmd/installers/btor.py
 ${PYSITELIB}/pysmt/cmd/installers/btor.pyc
 ${PYSITELIB}/pysmt/cmd/installers/btor.pyo
-${PYSITELIB}/pysmt/cmd/installers/cvc4.py
-${PYSITELIB}/pysmt/cmd/installers/cvc4.pyc
-${PYSITELIB}/pysmt/cmd/installers/cvc4.pyo
+${PYSITELIB}/pysmt/cmd/installers/cvcfive.py
+${PYSITELIB}/pysmt/cmd/installers/cvcfive.pyc
+${PYSITELIB}/pysmt/cmd/installers/cvcfive.pyo
+${PYSITELIB}/pysmt/cmd/installers/cvcfour.py
+${PYSITELIB}/pysmt/cmd/installers/cvcfour.pyc
+${PYSITELIB}/pysmt/cmd/installers/cvcfour.pyo
 ${PYSITELIB}/pysmt/cmd/installers/msat.py
 ${PYSITELIB}/pysmt/cmd/installers/msat.pyc
 ${PYSITELIB}/pysmt/cmd/installers/msat.pyo
@@ -134,9 +139,12 @@ ${PYSITELIB}/pysmt/solvers/bdd.pyo
 ${PYSITELIB}/pysmt/solvers/btor.py
 ${PYSITELIB}/pysmt/solvers/btor.pyc
 ${PYSITELIB}/pysmt/solvers/btor.pyo
-${PYSITELIB}/pysmt/solvers/cvc4.py
-${PYSITELIB}/pysmt/solvers/cvc4.pyc
-${PYSITELIB}/pysmt/solvers/cvc4.pyo
+${PYSITELIB}/pysmt/solvers/cvcfive.py
+${PYSITELIB}/pysmt/solvers/cvcfive.pyc
+${PYSITELIB}/pysmt/solvers/cvcfive.pyo
+${PYSITELIB}/pysmt/solvers/cvcfour.py
+${PYSITELIB}/pysmt/solvers/cvcfour.pyc
+${PYSITELIB}/pysmt/solvers/cvcfour.pyo
 ${PYSITELIB}/pysmt/solvers/eager.py
 ${PYSITELIB}/pysmt/solvers/eager.pyc
 ${PYSITELIB}/pysmt/solvers/eager.pyo
@@ -176,6 +184,8 @@ ${PYSITELIB}/pysmt/substituter.pyo
 ${PYSITELIB}/pysmt/test/__init__.py
 ${PYSITELIB}/pysmt/test/__init__.pyc
 ${PYSITELIB}/pysmt/test/__init__.pyo
+${PYSITELIB}/pysmt/test/configs/config1.ini
+${PYSITELIB}/pysmt/test/configs/config_bad.ini
 ${PYSITELIB}/pysmt/test/examples.py
 ${PYSITELIB}/pysmt/test/examples.pyc
 ${PYSITELIB}/pysmt/test/examples.pyo
@@ -263,9 +273,9 @@ ${PYSITELIB}/pysmt/test/test_configurati
 ${PYSITELIB}/pysmt/test/test_constants.py
 ${PYSITELIB}/pysmt/test/test_constants.pyc
 ${PYSITELIB}/pysmt/test/test_constants.pyo
-${PYSITELIB}/pysmt/test/test_cvc4_quantifiers.py
-${PYSITELIB}/pysmt/test/test_cvc4_quantifiers.pyc
-${PYSITELIB}/pysmt/test/test_cvc4_quantifiers.pyo
+${PYSITELIB}/pysmt/test/test_cvc_quantifiers.py
+${PYSITELIB}/pysmt/test/test_cvc_quantifiers.pyc
+${PYSITELIB}/pysmt/test/test_cvc_quantifiers.pyo
 ${PYSITELIB}/pysmt/test/test_dwf.py
 ${PYSITELIB}/pysmt/test/test_dwf.pyc
 ${PYSITELIB}/pysmt/test/test_dwf.pyo

Index: pkgsrc/math/py-smt/distinfo
diff -u pkgsrc/math/py-smt/distinfo:1.4 pkgsrc/math/py-smt/distinfo:1.5
--- pkgsrc/math/py-smt/distinfo:1.4     Mon Jan  9 06:39:38 2023
+++ pkgsrc/math/py-smt/distinfo Wed Aug  7 11:01:45 2024
@@ -1,5 +1,5 @@
-$NetBSD: distinfo,v 1.4 2023/01/09 06:39:38 khorben Exp $
+$NetBSD: distinfo,v 1.5 2024/08/07 11:01:45 adam Exp $
 
-BLAKE2s (PySMT-0.9.5.tar.gz) = 126a5cfcaaed9f885da8d28225d71ca1075db924086b904146a8d00e2dc03830
-SHA512 (PySMT-0.9.5.tar.gz) = d1e3b4f9f7bc90c15ddcfbcf87e4d487acff9613ae48d56a91bd83ab1c929af8c15ced29f6b097a599f91b41bbfadcf89e4601edba2bdff36c80c41b7c5165bb
-Size (PySMT-0.9.5.tar.gz) = 1138859 bytes
+BLAKE2s (PySMT-0.9.6.tar.gz) = 2f1a074871f9c1b41c4bd23cf4140f70c63da61a3f13a10dbc4e0882e1f04980
+SHA512 (PySMT-0.9.6.tar.gz) = d0610bb6d83f2ecc822f0c1393652009479593f5404851ddcd86da914341b58bb4376b713d0d87437f98b9eb42c2298ea3c83a36707ba774cfbdc611fa760044
+Size (PySMT-0.9.6.tar.gz) = 262806 bytes

Added files:

Index: pkgsrc/math/py-smt/ALTERNATIVES
diff -u /dev/null pkgsrc/math/py-smt/ALTERNATIVES:1.1
--- /dev/null   Wed Aug  7 11:01:45 2024
+++ pkgsrc/math/py-smt/ALTERNATIVES     Wed Aug  7 11:01:45 2024
@@ -0,0 +1 @@
+bin/pysmt-install @PREFIX@/bin/pysmt-install-@PYVERSSUFFIX@

Prev by Date: CVS commit: pkgsrc/devel/py-jaraco.vcs
Next by Date: CVS commit: pkgsrc/doc
Previous by Thread: CVS commit: pkgsrc/devel/py-jaraco.vcs
Next by Thread: CVS commit: pkgsrc/doc
Indexes:

Home | Main Index | Thread Index | Old Index