diff options
author | Vojtěch Aschenbrenner | 2015-07-15 12:12:16 +0200 |
---|---|---|
committer | Vojtěch Aschenbrenner | 2015-07-15 12:12:16 +0200 |
commit | 22fb7bbe8b9ffcbe5f88825a7fb49041f5ce8b56 (patch) | |
tree | 6b01a5b4fc30f25093e92012373f71ecb202210c | |
download | aur-minisat.tar.gz |
Initial commit
-rw-r--r-- | .SRCINFO | 13 | ||||
-rw-r--r-- | PKGBUILD | 31 |
2 files changed, 44 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..7972cc4370f1 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,13 @@ +pkgbase = minisat + pkgdesc = Minimalistic, open-source SAT solver. + pkgver = 2.2.0 + pkgrel = 1 + url = http://minisat.se/ + arch = i686 + arch = x86_64 + license = MIT + source = http://minisat.se/downloads/minisat-2.2.0.tar.gz + md5sums = 99a2eaabe528cd366100e4bc0327d22e + +pkgname = minisat + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..e784a5be8177 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,31 @@ +# Maintainer: Vojtěch Aschenbrenner <v@asch.cz> + +pkgname=minisat +pkgver=2.2.0 +pkgrel=1 +pkgdesc="Minimalistic, open-source SAT solver." +arch=('i686' 'x86_64') +url="http://minisat.se/" +license=('MIT') +depends=() +makedepends=() +optdepends=() +changelog= +source=(${url}downloads/$pkgname-$pkgver.tar.gz) +md5sums=('99a2eaabe528cd366100e4bc0327d22e') + +build() { + export MROOT="$srcdir/$pkgname" + cd "$srcdir/$pkgname" + cd "core" + make +} + +package() { + cd "$srcdir/$pkgname" + cd "core" + mkdir -p "$pkgdir/usr/bin" + cp "minisat" "$pkgdir/usr/bin" +} + +# vim:set ts=2 sw=2 et: |