# Contributor: Jakub Jirutka <jakub@jirutka.cz>
# Maintainer: Jakub Jirutka <jakub@jirutka.cz>
pkgname=py3-pycosat
_pkgname=pycosat
pkgver=0.6.6
pkgrel=2
pkgdesc="Python bindings to picosat (a SAT solver)"
url="https://github.com/conda/pycosat"
arch="all"
license="MIT"
makedepends="python3-dev py3-setuptools py3-gpep517"
source="https://github.com/conda/pycosat/archive/$pkgver/$_pkgname-$pkgver.tar.gz
	musl-compat.patch
	"
builddir="$srcdir/$_pkgname-$pkgver"

build() {
	gpep517 build-wheel \
		--wheel-dir .dist \
		--output-fd 3 3>&1 >&2
}

check() {
	python3 -m venv --clear --without-pip --system-site-packages .testenv
	gpep517 install-wheel --destdir .testenv --prefix '' .dist/*.whl
	.testenv/bin/python3 test_pycosat.py
}

package() {
	gpep517 install-wheel --destdir "$pkgdir" \
		.dist/*.whl
}

sha512sums="
a831bee95746c19133463b903429aaf7619407733d49128fdb0afe368e62bcdffc1406b4bbfdbbf67b1a96953bfba2f23a7e2dc151979d61efb29facb8609dc4  pycosat-0.6.6.tar.gz
57fae28c1d9f9e5fd2c8800ec664e0c43b04935f540ab2576fd660cb902e62edcc727aab3f7dacd33db1e775d49ebdffc24fbe4a4136ec5e3ea54cc5c37b2cef  musl-compat.patch
"
