diff options
| author | Ramana Kumar | 2015-06-15 12:11:16 +0530 |
|---|---|---|
| committer | Ramana Kumar | 2015-06-15 12:11:16 +0530 |
| commit | a7a3d4c9dfc0f654097268bbb11027b99a41cb28 (patch) | |
| tree | 6ed30bc628cf964ad4027edc5e1bd91ab1b7e428 /PKGBUILD | |
| download | aur-squolem.tar.gz | |
Initial import
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..616be24c1015 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,19 @@ +# Maintainer: Ramana Kumar <firstname.lastname@gmail.com> +pkgname=squolem +pkgver=2.02 +pkgrel=1 +pkgdesc="Skolemization-based Quantified Boolean Formula (QBF) solver that generates certificates" +arch=('i686' 'x86_64') +url="http://www.cprover.org/qbv/" +license=('custom:qbv') +source=("http://www.cprover.org/qbv/download/$pkgname-$pkgver-linux.tgz" + "http://www.cprover.org/qbv/LICENSE.txt") +md5sums=('3c142f4412a7e764bad4378627cbd4cf' + '38a6fbe518e813958238518ce2cff077') + +package() { + install -D "$srcdir/squolem2" "$pkgdir/usr/bin/squolem2" + install -D -m644 "$srcdir/LICENSE.txt" "$pkgdir/usr/share/licenses/$pkgname/LICENSE" +} + +# vim:set ts=2 sw=2 et: |