[arch-commits] Commit in (pycosat pycosat/trunk pycosat/trunk/PKGBUILD)

Antonio Rojas arojas at archlinux.org
Thu Oct 18 07:53:26 UTC 2018


    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 <arojas at archlinux.org>
+# Maintainer: Daniel Maslowski <info at orangecms.org>
+
+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
+}
+



More information about the arch-commits mailing list