summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAndrew Anderson2017-08-21 13:37:43 +0100
committerAndrew Anderson2017-09-04 20:23:08 +0100
commit9b7c096f92f538f20af7d9cb037a3528792ad1fe (patch)
tree03f7bae2a32f8aaa9e03051974b27ea648ea3267
downloadaur-pbqp.tar.gz
Initial commit
-rw-r--r--.SRCINFO13
-rw-r--r--.gitignore1
-rw-r--r--PKGBUILD42
3 files changed, 56 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..6d4310257d8f
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,13 @@
+pkgbase = pbqp
+ pkgdesc = Bernhard Scholz' PBQP solver tool
+ pkgver = 1.0
+ pkgrel = 1
+ url = http://www.complang.tuwien.ac.at/scholz/pbqp
+ arch = x86_64
+ arch = aarch64
+ license = BSD
+ source = http://www.complang.tuwien.ac.at/scholz/pbqp/pbqp.tar.gz
+ sha1sums = bc6b169aeb66cddc040af5d7d7b6c957f4d95cfd
+
+pkgname = pbqp
+
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 000000000000..72e8ffc0db8a
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+*
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..434ec0890650
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,42 @@
+# Maintainer: Andrew Anderson <aanderso@tcd.ie>
+
+pkgname=pbqp
+pkgver=1.0
+pkgrel=1
+
+epoch=
+pkgdesc="Bernhard Scholz' PBQP solver tool"
+arch=('x86_64' 'aarch64')
+url="http://www.complang.tuwien.ac.at/scholz/pbqp"
+license=('BSD')
+groups=()
+depends=()
+makedepends=()
+checkdepends=()
+optdepends=()
+provides=()
+conflicts=()
+replaces=()
+backup=()
+options=()
+install=
+changelog=
+source=("http://www.complang.tuwien.ac.at/scholz/pbqp/pbqp.tar.gz")
+
+#noextract=()
+
+sha1sums=("bc6b169aeb66cddc040af5d7d7b6c957f4d95cfd")
+
+#validpgpkeys=()
+
+build() {
+ make -C pbqp/src
+}
+
+#check() {}
+
+package() {
+ make -C pbqp/src install
+ mkdir -p $pkgdir/usr/bin/
+ cp pbqp/bin/pbqp_solve $pkgdir/usr/bin/
+}