diff options
author | Kyle Keen | 2015-07-27 06:13:56 -0400 |
---|---|---|
committer | Kyle Keen | 2015-07-27 06:13:56 -0400 |
commit | 0b46124cfb1f582007260dff750b1f2d41ed43db (patch) | |
tree | fe5e091c55755103a2d011b53a0181d50b983c73 | |
download | aur-0b46124cfb1f582007260dff750b1f2d41ed43db.tar.gz |
Initial import
-rw-r--r-- | .SRCINFO | 15 | ||||
-rw-r--r-- | PKGBUILD | 27 |
2 files changed, 42 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..8c2eae5d03f8 --- /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 000000000000..d5a854dbe133 --- /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: |