squolem/PKGBUILD

   1 # Maintainer: Ramana Kumar <firstname.lastname@gmail.com>
   2 pkgname=squolem
   3 pkgver=2.02
   4 pkgrel=1
   5 pkgdesc="Skolemization-based Quantified Boolean Formula (QBF) solver that generates certificates"
   6 arch=('i686' 'x86_64')
   7 url="http://www.cprover.org/qbv/"
   8 license=('custom:qbv')
   9 source=("http://www.cprover.org/qbv/download/$pkgname-$pkgver-linux.tgz"
  10         "http://www.cprover.org/qbv/LICENSE.txt")
  11 md5sums=('3c142f4412a7e764bad4378627cbd4cf'
  12          '38a6fbe518e813958238518ce2cff077')
  13
  14 package() {
  15   install -D "$srcdir/squolem2" "$pkgdir/usr/bin/squolem2"
  16   install -D -m644 "$srcdir/LICENSE.txt" "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
  17 }
  18
  19 # vim:set ts=2 sw=2 et: