smodels/PKGBUILD

   1 # Maintainer: David Serrano <david.nonamedguy@gmail.com>
   2 pkgname=smodels
   3 pkgver=2.34
   4 pkgrel=1
   5 pkgdesc="Implementation of the stable model semantics for logic programs"
   6 arch=('i686' 'x86_64')
   7 url="http://www.tcs.hut.fi/Software/smodels/"
   8 license=('GPL')
   9 groups=()
  10 depends=()
  11 makedepends=()
  12 optdepends=('lparse: front-end for smodels')
  13 provides=()
  14 conflicts=()
  15 replaces=()
  16 backup=()
  17 options=()
  18 install=
  19 changelog=
  20 source=(http://www.tcs.hut.fi/Software/smodels/src/$pkgname-$pkgver.tar.gz)
  21 noextract=()
  22 md5sums=('825e8da6a2e0f8e922e2485460d84154')
  23
  24 build() {
  25   cd "$srcdir/$pkgname-$pkgver"
  26
  27   make
  28 }
  29
  30 package() {
  31   cd "$srcdir/$pkgname-$pkgver"
  32
  33   mkdir -p $pkgdir/usr/bin
  34   make LIBPATH=/usr/lib DESTDIR="$pkgdir" install
  35 }
  36
  37 # vim:set ts=2 sw=2 et: