python-claripy/trunk/PKGBUILD

   1 # Maintainer: Levente Polyak <anthraxx[at]archlinux[dot]org>
   2
   3 _pyname=claripy
   4 pkgname=python-${_pyname}
   5 pkgver=9.2.47
   6 pkgrel=1
   7 pkgdesc='Abstraction layer for constraint solvers'
   8 url='https://github.com/angr/claripy'
   9 license=('custom:BSD2')
  10 arch=('any')
  11 depends=(
  12   'python'
  13   'python-cachetools'
  14   'python-decorator'
  15   'python-pysmt'
  16   'python-z3-solver'
  17 )
  18 makedepends=(
  19   'python-build'
  20   'python-installer'
  21   'python-setuptools'
  22   'python-wheel'
  23 )
  24 checkdepends=('python-pytest')
  25 source=("${url}/archive/v${pkgver}/${pkgname}-${pkgver}.tar.gz")
  26 sha512sums=('5a98c08ea12b050112a5ea0fa3768540240fd60736c03bca58a6b60c094caa2bea636b887da011aa2f88028225839938ef8c015eb8a6e57cb9e6deb3ee504c19')
  27 b2sums=('3fcd4889b6d4a26e31e3ed407dd31bae0fb97060c54ce3699e4eba5986f0db4122f8e6fb48eb4d0d17e1ea49472fc74edbf35b6b8fbdb0091d9e695b7ffb8546')
  28
  29 prepare() {
  30   # we don't support version pinning
  31   sed -e 's/==/>=/' -i $_pyname-$pkgver/setup.cfg
  32 }
  33
  34 build() {
  35   cd ${_pyname}-${pkgver}
  36   python -m build --wheel --no-isolation
  37 }
  38
  39 check() {
  40   local pytest_options=(
  41     -vv
  42     # disable broken tests: https://github.com/angr/claripy/issues/348
  43     --deselect tests/test_solver.py::StandardTests::test_simplification_annotations
  44     --deselect tests/test_solver.py::TestSolver::test_solver_with_reuse
  45     --deselect tests/test_solver.py::TestSolver::test_solver_without_reuse
  46     --deselect tests/test_solver.py::TestSolverReplacement::test_solver_with_reuse
  47     --deselect tests/test_solver.py::TestSolverReplacement::test_solver_without_reuse
  48     --deselect tests/test_solver.py::TestHybrid::test_solver_with_reuse
  49     --deselect tests/test_solver.py::TestHybrid::test_solver_without_reuse
  50     --deselect tests/test_solver.py::TestComposite::test_solver_with_reuse
  51     --deselect tests/test_solver.py::TestComposite::test_solver_without_reuse
  52     --deselect tests/test_solver.py::TestSolverCacheless::test_solver_with_reuse
  53     --deselect tests/test_solver.py::TestSolverCacheless::test_solver_without_reuse
  54   )
  55
  56   cd ${_pyname}-${pkgver}
  57   PYTHONPATH=build/lib pytest "${pytest_options[@]}"
  58 }
  59
  60 package() {
  61   cd ${_pyname}-${pkgver}
  62   python -m installer --destdir="$pkgdir" dist/*.whl
  63   install -Dm 644 LICENSE -t "${pkgdir}/usr/share/licenses/${pkgname}"
  64   install -Dm 644 README.md -t "${pkgdir}/usr/share/doc/${pkgname}"
  65 }
  66
  67 # vim: ts=2 sw=2 et: