afv/PKGBUILD

   1 # Maintainer: Arch Haskell Team <arch-haskell@haskell.org>
   2 _hkgname=afv
   3 pkgname=afv
   4 pkgver=0.1.1
   5 pkgrel=2
   6 pkgdesc="Infinite state model checking of iterative C programs."
   7 url="http://hackage.haskell.org/package/${_hkgname}"
   8 license=('custom:BSD3')
   9 arch=('i686' 'x86_64')
  10 makedepends=('ghc' 'haskell-bytestring=0.9.1.7' 'haskell-directory=1.0.1.1' 'haskell-language-c>=0.3.1.1' 'haskell-mtl<1.2' 'haskell-process=1.0.1.3' 'haskell-yices>=0.0.0.6')
  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     install -D -m644 LICENSE ${pkgdir}/usr/share/licenses/${pkgname}/LICENSE
  23     rm -f ${pkgdir}/usr/share/doc/${pkgname}/LICENSE
  24 }
  25 md5sums=('80b01cff2cfe996ccb19faba93ef5b92')