summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorKyle Keen2015-07-27 06:13:56 -0400
committerKyle Keen2015-07-27 06:13:56 -0400
commit0b46124cfb1f582007260dff750b1f2d41ed43db (patch)
treefe5e091c55755103a2d011b53a0181d50b983c73
downloadaur-0b46124cfb1f582007260dff750b1f2d41ed43db.tar.gz
Initial import
-rw-r--r--.SRCINFO15
-rw-r--r--PKGBUILD27
2 files changed, 42 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 00000000000..8c2eae5d03f
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,15 @@
+pkgbase = glucose
+ pkgdesc = Parallel SAT solver based on Minisat, with glue clauses.
+ pkgver = 4.0
+ pkgrel = 1
+ url = http://www.labri.fr/perso/lsimon/glucose/
+ arch = i686
+ arch = x86_64
+ license = MIT
+ depends = gcc-libs
+ depends = zlib
+ source = http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-syrup.tgz
+ md5sums = b6f040a6c28f011f3be994663338f548
+
+pkgname = glucose
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 00000000000..d5a854dbe13
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,27 @@
+# Maintainer: Kyle Keen <keenerd@gmail.com>
+
+pkgname=glucose
+pkgver=4.0
+pkgrel=1
+pkgdesc="Parallel SAT solver based on Minisat, with glue clauses."
+arch=('i686' 'x86_64')
+url="http://www.labri.fr/perso/lsimon/glucose/"
+license=('MIT')
+depends=('gcc-libs' 'zlib')
+# sigh, no versions
+source=("http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-syrup.tgz")
+md5sums=('b6f040a6c28f011f3be994663338f548')
+
+build() {
+ export MROOT="$srcdir/$pkgname"
+ cd "$srcdir/glucose-syrup/parallel"
+ make r
+}
+
+package() {
+ cd "$srcdir/glucose-syrup/parallel"
+ install -Dm755 glucose-syrup_release "$pkgdir/usr/bin/glucose"
+ install -Dm644 ../LICENCE "$pkgdir/usr/share/licenses/$pkgname/LICENCE"
+}
+
+# vim:set ts=2 sw=2 et: