blob: d04f2d95e38420bf0b90a3275c1a98635648ab2d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
# Contributor: Jakub Jirutka <jakub@jirutka.cz>
# Maintainer: Jakub Jirutka <jakub@jirutka.cz>
pkgname=py3-pycosat
_pkgname=pycosat
pkgver=0.6.3
pkgrel=4
pkgdesc="Python bindings to picosat (a SAT solver)"
url="https://github.com/conda/pycosat"
arch="all"
license="MIT"
makedepends="python3-dev"
source="https://github.com/conda/pycosat/archive/$pkgver/$_pkgname-$pkgver.tar.gz
musl-compat.patch
"
builddir="$srcdir/$_pkgname-$pkgver"
build() {
python3 setup.py build
}
check() {
PYTHONPATH="$(dirname ./build/lib.linux-*-3.*/*.so)" \
python3 test_pycosat.py
}
package() {
python3 setup.py install --prefix=/usr --root="$pkgdir"
}
sha512sums="6163f9879d4ed98486f36990f0134db0a9b6096a8507312a1013d707b0dcb7e963845a5959c601f672a53a5db8c80b63d3184a0ef906b2ec563ca1a4c63850fa pycosat-0.6.3.tar.gz
57fae28c1d9f9e5fd2c8800ec664e0c43b04935f540ab2576fd660cb902e62edcc727aab3f7dacd33db1e775d49ebdffc24fbe4a4136ec5e3ea54cc5c37b2cef musl-compat.patch"
|
