summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorRenato Lui Geh2020-04-21 16:55:53 -0300
committerRenato Lui Geh2020-04-21 16:55:53 -0300
commit6afc3b743f5f8c45d989dbe64a513747358960a3 (patch)
tree2fc6eecdf7b6d1b26465fbba451697a2f4519d95
downloadaur-6afc3b743f5f8c45d989dbe64a513747358960a3.tar.gz
Add PySDD package
-rw-r--r--.SRCINFO18
-rw-r--r--.gitignore3
-rw-r--r--PKGBUILD27
3 files changed, 48 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..7f5bfc877fae
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,18 @@
+pkgbase = python-pysdd
+ pkgdesc = Python package for Sentential Decision Diagrams (SDD).
+ pkgver = 0.2.10
+ pkgrel = 1
+ url = https://github.com/wannesm/PySDD/
+ arch = any
+ license = Apache 2.0
+ depends = python
+ depends = cython
+ optdepends = python-cysignals
+ optdepends = python-numpy
+ provides = python-pysdd
+ conflicts = python-pysdd-git
+ source = https://files.pythonhosted.org/packages/9a/5d/0bc570dda1dec89de5c1b7954aede5e0690fd9baee282ce20a27cf69f700/PySDD-0.2.10.tar.gz
+ sha256sums = ddeaca8a140e6c87c2f4f6d8b7e3260b5089e12fe7565d714523f66d233bb1d8
+
+pkgname = python-pysdd
+
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 000000000000..73c466425a55
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,3 @@
+*.tar.gz
+*.tar.xz
+clean.sh
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..eb982fd62efa
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,27 @@
+# Maintainer: Renato Lui Geh <renatogeh at gmail dot com>
+
+pkgname=python-pysdd
+_pypiname="PySDD"
+pkgver=0.2.10
+pkgrel=1
+pkgdesc="Python package for Sentential Decision Diagrams (SDD)."
+arch=('any')
+url="https://github.com/wannesm/PySDD/"
+license=('Apache 2.0')
+depends=('python' 'cython')
+optdepends=('python-cysignals' 'python-numpy')
+provides=("${pkgname}")
+conflicts=("${pkgname}-git")
+source=("https://files.pythonhosted.org/packages/9a/5d/0bc570dda1dec89de5c1b7954aede5e0690fd9baee282ce20a27cf69f700/${_pypiname}-${pkgver}.tar.gz")
+sha256sums=('ddeaca8a140e6c87c2f4f6d8b7e3260b5089e12fe7565d714523f66d233bb1d8')
+
+build() {
+ cd "$srcdir/${_pypiname}-${pkgver}"
+ python3 setup.py build
+}
+
+package() {
+ cd "$srcdir/${_pypiname}-${pkgver}"
+ python3 setup.py install --root="$pkgdir" --optimize=1 --skip-build
+}
+