CVS commit: pkgsrc/math/py-claripy

["Adam Ciarcinski" <adam%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   adam
Date:           Thu May 11 07:20:30 UTC 2023

Modified Files:
        pkgsrc/math/py-claripy: Makefile PLIST distinfo

Log Message:
py-claripy: updated to 9.2.50

9.2.50
Unknown changes


To generate a diff of this commit:
cvs rdiff -u -r1.6 -r1.7 pkgsrc/math/py-claripy/Makefile
cvs rdiff -u -r1.3 -r1.4 pkgsrc/math/py-claripy/PLIST
cvs rdiff -u -r1.7 -r1.8 pkgsrc/math/py-claripy/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-claripy/Makefile
diff -u pkgsrc/math/py-claripy/Makefile:1.6 pkgsrc/math/py-claripy/Makefile:1.7
--- pkgsrc/math/py-claripy/Makefile:1.6 Tue Jan  4 20:54:13 2022
+++ pkgsrc/math/py-claripy/Makefile     Thu May 11 07:20:30 2023
@@ -1,32 +1,27 @@
-# $NetBSD: Makefile,v 1.6 2022/01/04 20:54:13 wiz Exp $
+# $NetBSD: Makefile,v 1.7 2023/05/11 07:20:30 adam Exp $
 
-PKGREVISION= 1
 .include "../../devel/py-angr/version.mk"
 
 DISTNAME=      claripy-${ANGR_VERSION}
-PKGNAME=       ${PYPKGPREFIX}-${EGG_NAME}
-CATEGORIES=    math
-MASTER_SITES=  ${MASTER_SITE_GITHUB:=angr/}
-GITHUB_PROJECT=        claripy
-GITHUB_TAG=    v${ANGR_VERSION}
+PKGNAME=       ${PYPKGPREFIX}-${DISTNAME}
+CATEGORIES=    math python
+MASTER_SITES=  ${MASTER_SITE_PYPI:=c/claripy/}
 
 MAINTAINER=    khorben%defora.org@localhost
-HOMEPAGE=      https://github.com/angr/claripy/
+HOMEPAGE=      https://github.com/angr/claripy
 COMMENT=       Abstraction layer for constraint solvers
 LICENSE=       2-clause-bsd
 
-PYTHON_VERSIONS_INCOMPATIBLE=  27
+TOOL_DEPENDS+= ${PYPKGPREFIX}-wheel-[0-9]*:../../devel/py-wheel
+DEPENDS+=      ${PYPKGPREFIX}-cachetools-[0-9]*:../../devel/py-cachetools
+DEPENDS+=      ${PYPKGPREFIX}-decorator-[0-9]*:../../devel/py-decorator
+DEPENDS+=      ${PYPKGPREFIX}-smt>=0.9.5:../../math/py-smt
+DEPENDS+=      ${PYPKGPREFIX}-z3>=4.10.2.0:../../math/py-z3
 
-DEPENDS+=      ${PYPKGPREFIX}-cachetools>=0:../../devel/py-cachetools
-DEPENDS+=      ${PYPKGPREFIX}-decorator>=0:../../devel/py-decorator
-DEPENDS+=      ${PYPKGPREFIX}-future>=0:../../devel/py-future
-DEPENDS+=      ${PYPKGPREFIX}-smt>=0:../../math/py-smt
-DEPENDS+=      ${PYPKGPREFIX}-z3solver>=0:../../math/py-z3solver
+PYTHON_VERSIONS_INCOMPATIBLE=  27
 
 do-test:
-       ${RUN} cd ${WRKSRC}/tests && \
-       ${SETENV} ${TEST_ENV} \
-       ${PYTHONBIN} -m unittest discover
+       cd ${WRKSRC}/tests && ${SETENV} ${TEST_ENV} ${PYTHONBIN} -m unittest discover
 
-.include "../../lang/python/egg.mk"
+.include "../../lang/python/wheel.mk"
 .include "../../mk/bsd.pkg.mk"

Index: pkgsrc/math/py-claripy/PLIST
diff -u pkgsrc/math/py-claripy/PLIST:1.3 pkgsrc/math/py-claripy/PLIST:1.4
--- pkgsrc/math/py-claripy/PLIST:1.3    Mon Sep 28 22:56:38 2020
+++ pkgsrc/math/py-claripy/PLIST        Thu May 11 07:20:30 2023
@@ -1,219 +1,148 @@
-@comment $NetBSD: PLIST,v 1.3 2020/09/28 22:56:38 khorben Exp $
-${PYSITELIB}/${EGG_INFODIR}/PKG-INFO
-${PYSITELIB}/${EGG_INFODIR}/SOURCES.txt
-${PYSITELIB}/${EGG_INFODIR}/dependency_links.txt
-${PYSITELIB}/${EGG_INFODIR}/requires.txt
-${PYSITELIB}/${EGG_INFODIR}/top_level.txt
+@comment $NetBSD: PLIST,v 1.4 2023/05/11 07:20:30 adam Exp $
+${PYSITELIB}/${WHEEL_INFODIR}/INSTALLER
+${PYSITELIB}/${WHEEL_INFODIR}/LICENSE
+${PYSITELIB}/${WHEEL_INFODIR}/METADATA
+${PYSITELIB}/${WHEEL_INFODIR}/RECORD
+${PYSITELIB}/${WHEEL_INFODIR}/REQUESTED
+${PYSITELIB}/${WHEEL_INFODIR}/WHEEL
+${PYSITELIB}/${WHEEL_INFODIR}/direct_url.json
+${PYSITELIB}/${WHEEL_INFODIR}/top_level.txt
 ${PYSITELIB}/claripy/__init__.py
 ${PYSITELIB}/claripy/__init__.pyc
-${PYSITELIB}/claripy/__init__.pyo
 ${PYSITELIB}/claripy/annotation.py
 ${PYSITELIB}/claripy/annotation.pyc
-${PYSITELIB}/claripy/annotation.pyo
 ${PYSITELIB}/claripy/ast/__init__.py
 ${PYSITELIB}/claripy/ast/__init__.pyc
-${PYSITELIB}/claripy/ast/__init__.pyo
 ${PYSITELIB}/claripy/ast/base.py
 ${PYSITELIB}/claripy/ast/base.pyc
-${PYSITELIB}/claripy/ast/base.pyo
 ${PYSITELIB}/claripy/ast/bits.py
 ${PYSITELIB}/claripy/ast/bits.pyc
-${PYSITELIB}/claripy/ast/bits.pyo
 ${PYSITELIB}/claripy/ast/bool.py
 ${PYSITELIB}/claripy/ast/bool.pyc
-${PYSITELIB}/claripy/ast/bool.pyo
 ${PYSITELIB}/claripy/ast/bv.py
 ${PYSITELIB}/claripy/ast/bv.pyc
-${PYSITELIB}/claripy/ast/bv.pyo
 ${PYSITELIB}/claripy/ast/fp.py
 ${PYSITELIB}/claripy/ast/fp.pyc
-${PYSITELIB}/claripy/ast/fp.pyo
 ${PYSITELIB}/claripy/ast/int.py
 ${PYSITELIB}/claripy/ast/int.pyc
-${PYSITELIB}/claripy/ast/int.pyo
 ${PYSITELIB}/claripy/ast/strings.py
 ${PYSITELIB}/claripy/ast/strings.pyc
-${PYSITELIB}/claripy/ast/strings.pyo
 ${PYSITELIB}/claripy/ast/vs.py
 ${PYSITELIB}/claripy/ast/vs.pyc
-${PYSITELIB}/claripy/ast/vs.pyo
 ${PYSITELIB}/claripy/backend_manager.py
 ${PYSITELIB}/claripy/backend_manager.pyc
-${PYSITELIB}/claripy/backend_manager.pyo
 ${PYSITELIB}/claripy/backend_object.py
 ${PYSITELIB}/claripy/backend_object.pyc
-${PYSITELIB}/claripy/backend_object.pyo
 ${PYSITELIB}/claripy/backends/__init__.py
 ${PYSITELIB}/claripy/backends/__init__.pyc
-${PYSITELIB}/claripy/backends/__init__.pyo
 ${PYSITELIB}/claripy/backends/backend_concrete.py
 ${PYSITELIB}/claripy/backends/backend_concrete.pyc
-${PYSITELIB}/claripy/backends/backend_concrete.pyo
 ${PYSITELIB}/claripy/backends/backend_smtlib.py
 ${PYSITELIB}/claripy/backends/backend_smtlib.pyc
-${PYSITELIB}/claripy/backends/backend_smtlib.pyo
 ${PYSITELIB}/claripy/backends/backend_smtlib_solvers/__init__.py
 ${PYSITELIB}/claripy/backends/backend_smtlib_solvers/__init__.pyc
-${PYSITELIB}/claripy/backends/backend_smtlib_solvers/__init__.pyo
 ${PYSITELIB}/claripy/backends/backend_smtlib_solvers/abc_popen.py
 ${PYSITELIB}/claripy/backends/backend_smtlib_solvers/abc_popen.pyc
-${PYSITELIB}/claripy/backends/backend_smtlib_solvers/abc_popen.pyo
 ${PYSITELIB}/claripy/backends/backend_smtlib_solvers/cvc4_popen.py
 ${PYSITELIB}/claripy/backends/backend_smtlib_solvers/cvc4_popen.pyc
-${PYSITELIB}/claripy/backends/backend_smtlib_solvers/cvc4_popen.pyo
 ${PYSITELIB}/claripy/backends/backend_smtlib_solvers/z3_popen.py
 ${PYSITELIB}/claripy/backends/backend_smtlib_solvers/z3_popen.pyc
-${PYSITELIB}/claripy/backends/backend_smtlib_solvers/z3_popen.pyo
 ${PYSITELIB}/claripy/backends/backend_smtlib_solvers/z3str_popen.py
 ${PYSITELIB}/claripy/backends/backend_smtlib_solvers/z3str_popen.pyc
-${PYSITELIB}/claripy/backends/backend_smtlib_solvers/z3str_popen.pyo
 ${PYSITELIB}/claripy/backends/backend_vsa.py
 ${PYSITELIB}/claripy/backends/backend_vsa.pyc
-${PYSITELIB}/claripy/backends/backend_vsa.pyo
 ${PYSITELIB}/claripy/backends/backend_z3.py
 ${PYSITELIB}/claripy/backends/backend_z3.pyc
-${PYSITELIB}/claripy/backends/backend_z3.pyo
 ${PYSITELIB}/claripy/backends/backend_z3_parallel.py
 ${PYSITELIB}/claripy/backends/backend_z3_parallel.pyc
-${PYSITELIB}/claripy/backends/backend_z3_parallel.pyo
-${PYSITELIB}/claripy/backends/backendremote.py
-${PYSITELIB}/claripy/backends/backendremote.pyc
-${PYSITELIB}/claripy/backends/backendremote.pyo
-${PYSITELIB}/claripy/backends/celeryconfig.py
-${PYSITELIB}/claripy/backends/celeryconfig.pyc
-${PYSITELIB}/claripy/backends/celeryconfig.pyo
-${PYSITELIB}/claripy/backends/remotetasks.py
-${PYSITELIB}/claripy/backends/remotetasks.pyc
-${PYSITELIB}/claripy/backends/remotetasks.pyo
 ${PYSITELIB}/claripy/balancer.py
 ${PYSITELIB}/claripy/balancer.pyc
-${PYSITELIB}/claripy/balancer.pyo
 ${PYSITELIB}/claripy/bv.py
 ${PYSITELIB}/claripy/bv.pyc
-${PYSITELIB}/claripy/bv.pyo
 ${PYSITELIB}/claripy/debug.py
 ${PYSITELIB}/claripy/debug.pyc
-${PYSITELIB}/claripy/debug.pyo
 ${PYSITELIB}/claripy/errors.py
 ${PYSITELIB}/claripy/errors.pyc
-${PYSITELIB}/claripy/errors.pyo
 ${PYSITELIB}/claripy/fp.py
 ${PYSITELIB}/claripy/fp.pyc
-${PYSITELIB}/claripy/fp.pyo
 ${PYSITELIB}/claripy/frontend.py
 ${PYSITELIB}/claripy/frontend.pyc
-${PYSITELIB}/claripy/frontend.pyo
 ${PYSITELIB}/claripy/frontend_mixins/__init__.py
 ${PYSITELIB}/claripy/frontend_mixins/__init__.pyc
-${PYSITELIB}/claripy/frontend_mixins/__init__.pyo
 ${PYSITELIB}/claripy/frontend_mixins/composited_cache_mixin.py
 ${PYSITELIB}/claripy/frontend_mixins/composited_cache_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/composited_cache_mixin.pyo
 ${PYSITELIB}/claripy/frontend_mixins/concrete_handler_mixin.py
 ${PYSITELIB}/claripy/frontend_mixins/concrete_handler_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/concrete_handler_mixin.pyo
 ${PYSITELIB}/claripy/frontend_mixins/constraint_deduplicator_mixin.py
 ${PYSITELIB}/claripy/frontend_mixins/constraint_deduplicator_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/constraint_deduplicator_mixin.pyo
 ${PYSITELIB}/claripy/frontend_mixins/constraint_expansion_mixin.py
 ${PYSITELIB}/claripy/frontend_mixins/constraint_expansion_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/constraint_expansion_mixin.pyo
 ${PYSITELIB}/claripy/frontend_mixins/constraint_filter_mixin.py
 ${PYSITELIB}/claripy/frontend_mixins/constraint_filter_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/constraint_filter_mixin.pyo
 ${PYSITELIB}/claripy/frontend_mixins/constraint_fixer_mixin.py
 ${PYSITELIB}/claripy/frontend_mixins/constraint_fixer_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/constraint_fixer_mixin.pyo
 ${PYSITELIB}/claripy/frontend_mixins/debug_mixin.py
 ${PYSITELIB}/claripy/frontend_mixins/debug_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/debug_mixin.pyo
 ${PYSITELIB}/claripy/frontend_mixins/eager_resolution_mixin.py
 ${PYSITELIB}/claripy/frontend_mixins/eager_resolution_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/eager_resolution_mixin.pyo
 ${PYSITELIB}/claripy/frontend_mixins/eval_string_to_ast_mixin.py
 ${PYSITELIB}/claripy/frontend_mixins/eval_string_to_ast_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/eval_string_to_ast_mixin.pyo
 ${PYSITELIB}/claripy/frontend_mixins/model_cache_mixin.py
 ${PYSITELIB}/claripy/frontend_mixins/model_cache_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/model_cache_mixin.pyo
 ${PYSITELIB}/claripy/frontend_mixins/sat_cache_mixin.py
 ${PYSITELIB}/claripy/frontend_mixins/sat_cache_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/sat_cache_mixin.pyo
 ${PYSITELIB}/claripy/frontend_mixins/simplify_helper_mixin.py
 ${PYSITELIB}/claripy/frontend_mixins/simplify_helper_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/simplify_helper_mixin.pyo
 ${PYSITELIB}/claripy/frontend_mixins/simplify_skipper_mixin.py
 ${PYSITELIB}/claripy/frontend_mixins/simplify_skipper_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/simplify_skipper_mixin.pyo
 ${PYSITELIB}/claripy/frontend_mixins/smtlib_script_dumper_mixin.py
 ${PYSITELIB}/claripy/frontend_mixins/smtlib_script_dumper_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/smtlib_script_dumper_mixin.pyo
 ${PYSITELIB}/claripy/frontend_mixins/solve_block_mixin.py
 ${PYSITELIB}/claripy/frontend_mixins/solve_block_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/solve_block_mixin.pyo
 ${PYSITELIB}/claripy/frontends/__init__.py
 ${PYSITELIB}/claripy/frontends/__init__.pyc
-${PYSITELIB}/claripy/frontends/__init__.pyo
 ${PYSITELIB}/claripy/frontends/composite_frontend.py
 ${PYSITELIB}/claripy/frontends/composite_frontend.pyc
-${PYSITELIB}/claripy/frontends/composite_frontend.pyo
 ${PYSITELIB}/claripy/frontends/constrained_frontend.py
 ${PYSITELIB}/claripy/frontends/constrained_frontend.pyc
-${PYSITELIB}/claripy/frontends/constrained_frontend.pyo
 ${PYSITELIB}/claripy/frontends/full_frontend.py
 ${PYSITELIB}/claripy/frontends/full_frontend.pyc
-${PYSITELIB}/claripy/frontends/full_frontend.pyo
 ${PYSITELIB}/claripy/frontends/hybrid_frontend.py
 ${PYSITELIB}/claripy/frontends/hybrid_frontend.pyc
-${PYSITELIB}/claripy/frontends/hybrid_frontend.pyo
 ${PYSITELIB}/claripy/frontends/light_frontend.py
 ${PYSITELIB}/claripy/frontends/light_frontend.pyc
-${PYSITELIB}/claripy/frontends/light_frontend.pyo
 ${PYSITELIB}/claripy/frontends/replacement_frontend.py
 ${PYSITELIB}/claripy/frontends/replacement_frontend.pyc
-${PYSITELIB}/claripy/frontends/replacement_frontend.pyo
 ${PYSITELIB}/claripy/operations.py
 ${PYSITELIB}/claripy/operations.pyc
-${PYSITELIB}/claripy/operations.pyo
 ${PYSITELIB}/claripy/ops.py
 ${PYSITELIB}/claripy/ops.pyc
-${PYSITELIB}/claripy/ops.pyo
+${PYSITELIB}/claripy/py.typed
 ${PYSITELIB}/claripy/simplifications.py
 ${PYSITELIB}/claripy/simplifications.pyc
-${PYSITELIB}/claripy/simplifications.pyo
 ${PYSITELIB}/claripy/smtlib_utils.py
 ${PYSITELIB}/claripy/smtlib_utils.pyc
-${PYSITELIB}/claripy/smtlib_utils.pyo
 ${PYSITELIB}/claripy/solvers.py
 ${PYSITELIB}/claripy/solvers.pyc
-${PYSITELIB}/claripy/solvers.pyo
 ${PYSITELIB}/claripy/strings.py
 ${PYSITELIB}/claripy/strings.pyc
-${PYSITELIB}/claripy/strings.pyo
 ${PYSITELIB}/claripy/utils/__init__.py
 ${PYSITELIB}/claripy/utils/__init__.pyc
-${PYSITELIB}/claripy/utils/__init__.pyo
+${PYSITELIB}/claripy/utils/deprecated.py
+${PYSITELIB}/claripy/utils/deprecated.pyc
 ${PYSITELIB}/claripy/utils/orderedset.py
 ${PYSITELIB}/claripy/utils/orderedset.pyc
-${PYSITELIB}/claripy/utils/orderedset.pyo
 ${PYSITELIB}/claripy/vsa/__init__.py
 ${PYSITELIB}/claripy/vsa/__init__.pyc
-${PYSITELIB}/claripy/vsa/__init__.pyo
 ${PYSITELIB}/claripy/vsa/abstract_location.py
 ${PYSITELIB}/claripy/vsa/abstract_location.pyc
-${PYSITELIB}/claripy/vsa/abstract_location.pyo
 ${PYSITELIB}/claripy/vsa/bool_result.py
 ${PYSITELIB}/claripy/vsa/bool_result.pyc
-${PYSITELIB}/claripy/vsa/bool_result.pyo
 ${PYSITELIB}/claripy/vsa/discrete_strided_interval_set.py
 ${PYSITELIB}/claripy/vsa/discrete_strided_interval_set.pyc
-${PYSITELIB}/claripy/vsa/discrete_strided_interval_set.pyo
 ${PYSITELIB}/claripy/vsa/errors.py
 ${PYSITELIB}/claripy/vsa/errors.pyc
-${PYSITELIB}/claripy/vsa/errors.pyo
 ${PYSITELIB}/claripy/vsa/strided_interval.py
 ${PYSITELIB}/claripy/vsa/strided_interval.pyc
-${PYSITELIB}/claripy/vsa/strided_interval.pyo
 ${PYSITELIB}/claripy/vsa/valueset.py
 ${PYSITELIB}/claripy/vsa/valueset.pyc
-${PYSITELIB}/claripy/vsa/valueset.pyo

Index: pkgsrc/math/py-claripy/distinfo
diff -u pkgsrc/math/py-claripy/distinfo:1.7 pkgsrc/math/py-claripy/distinfo:1.8
--- pkgsrc/math/py-claripy/distinfo:1.7 Tue Oct 26 10:56:00 2021
+++ pkgsrc/math/py-claripy/distinfo     Thu May 11 07:20:30 2023
@@ -1,5 +1,5 @@
-$NetBSD: distinfo,v 1.7 2021/10/26 10:56:00 nia Exp $
+$NetBSD: distinfo,v 1.8 2023/05/11 07:20:30 adam Exp $
 
-BLAKE2s (claripy-9.0.7491.tar.gz) = 8d3e68ce61e6d9887bd3662b51c395d65d41d3ff0c17893bdadda0d53f7f3f84
-SHA512 (claripy-9.0.7491.tar.gz) = 1991c9b38b377dbacd9279f426a3ecb47863a746066a85ab0bc97b1d85583d75279e6e29dcdd0fb38a304c7e8a0149b6792d7827f0b6906ba288d29cc05868e3
-Size (claripy-9.0.7491.tar.gz) = 152940 bytes
+BLAKE2s (claripy-9.2.50.tar.gz) = 22d198523b2546a845ce3118a9c2e672ff23b39a48208969947231bc45f118f8
+SHA512 (claripy-9.2.50.tar.gz) = 7233b236901195a552312b3573f5013442c518bf4076bf870205daee9826d4d381e2bb369edb1cccbc5bd80133f4fae2345ce3265a69b00a314e442abf01a946
+Size (claripy-9.2.50.tar.gz) = 158125 bytes