summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD42
1 files changed, 42 insertions, 0 deletions
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/
+}