Date: Monday, April 24, 2023 @ 11:10:33 Author: dvzrv Revision: 1448486
upgpkg: python-claripy 9.2.47-1: Upgrade to 9.2.47 and rebuild against Python 3.11. Consolidate and sort dependencies. Disable version pinning. Disable broken tests: https://github.com/angr/claripy/issues/348 Modified: python-claripy/trunk/PKGBUILD ----------+ PKGBUILD | 45 ++++++++++++++++++++++++++++++++++++++------- 1 file changed, 38 insertions(+), 7 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2023-04-24 10:46:21 UTC (rev 1448485) +++ PKGBUILD 2023-04-24 11:10:33 UTC (rev 1448486) @@ -2,20 +2,35 @@ _pyname=claripy pkgname=python-${_pyname} -pkgver=9.2.27 +pkgver=9.2.47 pkgrel=1 pkgdesc='Abstraction layer for constraint solvers' url='https://github.com/angr/claripy' license=('custom:BSD2') arch=('any') -depends=('python' 'python-z3-solver' 'python-cachetools' 'python-decorator' - 'python-pysmt' 'python-six') -makedepends=('python-build' 'python-installer' 'python-wheel' 'python-setuptools') +depends=( + 'python' + 'python-cachetools' + 'python-decorator' + 'python-pysmt' + 'python-z3-solver' +) +makedepends=( + 'python-build' + 'python-installer' + 'python-setuptools' + 'python-wheel' +) checkdepends=('python-pytest') source=("${url}/archive/v${pkgver}/${pkgname}-${pkgver}.tar.gz") -sha512sums=('286e319bb90bb70552e8cc581b05258525f3a19264eddb4f11cb915f1625e2049d0a72078f0545f0eb66dfbe0ddabddda3bbf2260fafb03cd1b12905e2cbfcaa') -b2sums=('95f51259dc951541d7b7017ca755d841076c7beda68dfbae2a3c51815c0e58aa98e38d28f49f2bff4a2f2ce7889d9305cdb81d36329ca74a05ed3025538fc6f1') +sha512sums=('5a98c08ea12b050112a5ea0fa3768540240fd60736c03bca58a6b60c094caa2bea636b887da011aa2f88028225839938ef8c015eb8a6e57cb9e6deb3ee504c19') +b2sums=('3fcd4889b6d4a26e31e3ed407dd31bae0fb97060c54ce3699e4eba5986f0db4122f8e6fb48eb4d0d17e1ea49472fc74edbf35b6b8fbdb0091d9e695b7ffb8546') +prepare() { + # we don't support version pinning + sed -e 's/==/>=/' -i $_pyname-$pkgver/setup.cfg +} + build() { cd ${_pyname}-${pkgver} python -m build --wheel --no-isolation @@ -22,8 +37,24 @@ } check() { + local pytest_options=( + -vv + # disable broken tests: https://github.com/angr/claripy/issues/348 + --deselect tests/test_solver.py::StandardTests::test_simplification_annotations + --deselect tests/test_solver.py::TestSolver::test_solver_with_reuse + --deselect tests/test_solver.py::TestSolver::test_solver_without_reuse + --deselect tests/test_solver.py::TestSolverReplacement::test_solver_with_reuse + --deselect tests/test_solver.py::TestSolverReplacement::test_solver_without_reuse + --deselect tests/test_solver.py::TestHybrid::test_solver_with_reuse + --deselect tests/test_solver.py::TestHybrid::test_solver_without_reuse + --deselect tests/test_solver.py::TestComposite::test_solver_with_reuse + --deselect tests/test_solver.py::TestComposite::test_solver_without_reuse + --deselect tests/test_solver.py::TestSolverCacheless::test_solver_with_reuse + --deselect tests/test_solver.py::TestSolverCacheless::test_solver_without_reuse + ) + cd ${_pyname}-${pkgver} - PYTHONPATH=build/lib pytest + PYTHONPATH=build/lib pytest "${pytest_options[@]}" } package() {
