pesca/PKGBUILD

   1 # Maintainer: Arch Haskell Team <arch-haskell@haskell.org>
   2 _hkgname=pesca
   3 pkgname=pesca
   4 pkgver=4.0.1
   5 pkgrel=3
   6 pkgdesc="Proof Editor for Sequent Calculus"
   7 url="http://hackage.haskell.org/package/${_hkgname}"
   8 license=('GPL')
   9 arch=('i686' 'x86_64')
  10 makedepends=('ghc' 'haskell-process=1.0.1.3')
  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=('af6d3124524c0b99a7972ced001a57b9')