minisat/PKGBUILD

   1 # Maintainer: Vojtech Aschenbrenner <vojtech@aschenbrenner.cz>
   2
   3 pkgname=minisat
   4 pkgver=2.2.0
   5 pkgrel=1
   6 pkgdesc="Minimalistic, open-source SAT solver."
   7 arch=('i686' 'x86_64')
   8 url="http://minisat.se/"
   9 license=('MIT')
  10 depends=()
  11 makedepends=(gcc)
  12 optdepends=()
  13 changelog=
  14 source=($url/downloads/$pkgname-$pkgver.tar.gz)
  15 md5sums=('99a2eaabe528cd366100e4bc0327d22e')
  16
  17 build() {
  18   export MROOT="$srcdir/$pkgname"
  19   cd "$srcdir/$pkgname"
  20   cd "core"
  21   make || return 1
  22 }
  23
  24 package() {
  25   cd "$srcdir/$pkgname"
  26   cd "core"
  27   mkdir -p "$pkgdir/usr/bin"
  28   cp "minisat" "$pkgdir/usr/bin"
  29 }
  30
  31 # vim:set ts=2 sw=2 et: