Date: Thursday, October 18, 2018 @ 07:53:25 Author: arojas Revision: 395806
New sagemath optional dependency Added: pycosat/ pycosat/trunk/ pycosat/trunk/PKGBUILD ----------+ PKGBUILD | 42 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) Added: pycosat/trunk/PKGBUILD =================================================================== --- pycosat/trunk/PKGBUILD (rev 0) +++ pycosat/trunk/PKGBUILD 2018-10-18 07:53:25 UTC (rev 395806) @@ -0,0 +1,42 @@ +# Maintainer: Antonio Rojas <[email protected]> +# Maintainer: Daniel Maslowski <[email protected]> + +pkgbase=pycosat +pkgname=(python-pycosat python2-pycosat) +pkgver=0.6.3 +pkgrel=1 +arch=(x86_64) +url="https://github.com/ContinuumIO/pycosat"; +license=(MIT) +makedepends=(python python2) +source=($pkgbase-$pkgver.tar.gz::https://github.com/ContinuumIO/$pkgbase/archive/$pkgver.tar.gz) +sha256sums=('abcaf3d6afb332b0d8363590d0aaa81f00f71142900fbae2608f7d595d5e4492') + +prepare() { + cp -r $pkgbase-$pkgver{,-py2} +} + +build() { + cd $pkgbase-$pkgver + python setup.py build + + cd ../$pkgbase-$pkgver-py2 + python2 setup.py build +} + +package_python-pycosat() { + pkgdesc="Python 3 bindings to picosat (a SAT solver)" + depends=(python) + + cd $pkgbase-$pkgver + python setup.py install --root="$pkgdir" --optimize=1 + install -Dm644 LICENSE -t "$pkgdir"/usr/share/licenses/$pkgname +} + +package_python2-pycosat() { + pkgdesc="Python 2 bindings to picosat (a SAT solver)" + cd $pkgbase-$pkgver-py2 + python2 setup.py install --root="$pkgdir" --optimize=1 + install -Dm644 LICENSE -t "$pkgdir"/usr/share/licenses/$pkgname +} +
