[arch-commits] Commit in python-pysmt/repos (community-any community-any/PKGBUILD)

[Levente Polyak]

    Date: Saturday, August 20, 2022 @ 01:39:38
  Author: anthraxx
Revision: 1271027

archrelease: copy trunk to community-any

Added:
  python-pysmt/repos/community-any/
  python-pysmt/repos/community-any/PKGBUILD
    (from rev 1271026, python-pysmt/trunk/PKGBUILD)

----------+
 PKGBUILD |   37 +++++++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)

Copied: python-pysmt/repos/community-any/PKGBUILD (from rev 1271026, python-pysmt/trunk/PKGBUILD)
===================================================================
--- community-any/PKGBUILD	                        (rev 0)
+++ community-any/PKGBUILD	2022-08-20 01:39:38 UTC (rev 1271027)
@@ -0,0 +1,37 @@
+# Maintainer: Levente Polyak <anthraxx[at]archlinux[dot]org>
+
+_pyname=pysmt
+pkgname=python-${_pyname}
+pkgver=0.9.5
+pkgrel=1
+pkgdesc='Solver-agnostic library for SMT Formulae manipulation and solving'
+url='https://github.com/pysmt/pysmt'
+license=('Apache')
+arch=('any')
+depends=('python' 'python-z3-solver')
+makedepends=('python-build' 'python-installer' 'python-wheel' 'python-setuptools')
+checkdepends=('python-pytest')
+source=("${url}/archive/v${pkgver}/${pkgname}-${pkgver}.tar.gz")
+sha512sums=('d1e3b4f9f7bc90c15ddcfbcf87e4d487acff9613ae48d56a91bd83ab1c929af8c15ced29f6b097a599f91b41bbfadcf89e4601edba2bdff36c80c41b7c5165bb')
+b2sums=('0716c6b5e66a50072947f2e959ab5dfd92494b4d9bb92a11cf6250e9b8a9940591a64af0382e173230da31fd7d7178904da9bd4d424ab53ee217ccc49186234a')
+
+build() {
+  cd ${_pyname}-${pkgver}
+  export EXTRA_CFLAGS="${CFLAGS} ${CPPFLAGS}"
+  python -m build --wheel --no-isolation
+}
+
+check() {
+  cd ${_pyname}-${pkgver}
+  PYTHONPATH=build/lib pytest -k 'not test_z3_back_formulae'
+}
+
+package() {
+  cd ${_pyname}-${pkgver}
+  python -m installer --destdir="$pkgdir" dist/*.whl
+  install -Dm 644 LICENSE -t "${pkgdir}/usr/share/licenses/${pkgname}"
+  install -Dm 644 README.rst -t "${pkgdir}/usr/share/doc/${pkgname}"
+  cp -r examples "${pkgdir}/usr/share/doc/${pkgname}"
+}
+
+# vim: ts=2 sw=2 et: