diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2019-05-07 21:48:29 +0200 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2019-05-07 21:49:02 +0200 |
| commit | b043634f66c11af66c7b6c7e774c5b94fb1dfc4d (patch) | |
| tree | 1c3088f9af222ad0eb464822d8f826e93f1210f3 | |
| parent | 802b30f7e6a64fee2cd500ebf868ea2d65d80865 (diff) | |
| download | aports-b043634f66c11af66c7b6c7e774c5b94fb1dfc4d.tar.bz2 aports-b043634f66c11af66c7b6c7e774c5b94fb1dfc4d.tar.xz | |
testing/py3-pycosat: new aport
| -rw-r--r-- | testing/py3-pycosat/APKBUILD | 30 | ||||
| -rw-r--r-- | testing/py3-pycosat/musl-compat.patch | 13 |
2 files changed, 43 insertions, 0 deletions
diff --git a/testing/py3-pycosat/APKBUILD b/testing/py3-pycosat/APKBUILD new file mode 100644 index 0000000000..55160f2848 --- /dev/null +++ b/testing/py3-pycosat/APKBUILD @@ -0,0 +1,30 @@ +# Contributor: Jakub Jirutka <jakub@jirutka.cz> +# Maintainer: Jakub Jirutka <jakub@jirutka.cz> +pkgname=py3-pycosat +_pkgname=pycosat +pkgver=0.6.3 +pkgrel=0 +pkgdesc="Python bindings to picosat (a SAT solver)" +url="https://github.com/ContinuumIO/pycosat" +arch="all" +license="MIT" +makedepends="python3-dev" +source="https://github.com/ContinuumIO/pycosat/archive/$pkgver/$_pkgname-$pkgver.tar.gz + musl-compat.patch + " +builddir="$srcdir/$_pkgname-$pkgver" + +build() { + python3 setup.py build +} + +check() { + PYTHONPATH="./build/lib.linux-x86_64-3.6" 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" diff --git a/testing/py3-pycosat/musl-compat.patch b/testing/py3-pycosat/musl-compat.patch new file mode 100644 index 0000000000..49ef86c886 --- /dev/null +++ b/testing/py3-pycosat/musl-compat.patch @@ -0,0 +1,13 @@ +Upstream-Issue: https://github.com/ContinuumIO/pycosat/pull/29 + +--- a/picosat.c ++++ b/picosat.c +@@ -8147,7 +8147,7 @@ + #ifndef NGETRUSAGE + #include <sys/time.h> + #include <sys/resource.h> +-#include <sys/unistd.h> ++#include <unistd.h> + #endif + + double |