sat-micro-hs/PKGBUILD

   1 # Maintainer: Arch Haskell Team <arch-haskell@haskell.org>
   2 _hkgname=sat-micro-hs
   3 pkgname=sat-micro-hs
   4 pkgver=0.1.1
   5 pkgrel=3
   6 pkgdesc="A minimal SAT solver"
   7 url="http://hackage.haskell.org/package/${_hkgname}"
   8 license=('LGPL')
   9 arch=('i686' 'x86_64')
  10 makedepends=('ghc' 'haskell-containers=0.3.0.0' 'haskell-haskell98=1.0.1.1' 'haskell-mtl' 'haskell-parse-dimacs' 'haskell-pretty=1.0.1.1')
  11 depends=('gmp')
  12 options=('strip')
  13 source=(http://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz)
  14 build() {
  15     cd ${srcdir}/${_hkgname}-${pkgver}
  16     runhaskell Setup configure --prefix=/usr --docdir=/usr/share/doc/${pkgname} -O
  17     runhaskell Setup build
  18 }
  19 package() {
  20     cd ${srcdir}/${_hkgname}-${pkgver}
  21     runhaskell Setup copy --destdir=${pkgdir}
  22 }
  23 md5sums=('6b7df147df8ec71cd28149a0d61bb602')