haskell-logic-tptp/PKGBUILD

   1 # Maintainer: Arch Haskell Team <arch-haskell@haskell.org>
   2 _hkgname=logic-TPTP
   3 pkgname=haskell-logic-tptp
   4 pkgver=0.2.0.4
   5 pkgrel=3
   6 pkgdesc="Import, export etc. for TPTP, a syntax for first-order logic"
   7 url="http://hackage.haskell.org/package/${_hkgname}"
   8 license=('GPL')
   9 arch=('i686' 'x86_64')
  10 makedepends=()
  11 depends=('ghc' 'haskell-quickcheck=2.1.1.1' 'haskell-ansi-wl-pprint' 'haskell-array=0.3.0.1' 'haskell-containers=0.3.0.0' 'haskell-haskell98=1.0.1.1' 'haskell-mtl' 'haskell-syb=0.1.0.2' 'haskell-utf8-prelude')
  12 options=('strip')
  13 source=(http://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz)
  14 install=${pkgname}.install
  15 build() {
  16     cd ${srcdir}/${_hkgname}-${pkgver}
  17     runhaskell Setup configure -O --enable-split-objs --enable-shared \
  18        --prefix=/usr --docdir=/usr/share/doc/${pkgname} --libsubdir=\$compiler/site-local/\$pkgid
  19     runhaskell Setup build
  20     runhaskell Setup haddock
  21     runhaskell Setup register   --gen-script
  22     runhaskell Setup unregister --gen-script
  23     sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
  24 }
  25 package() {
  26     cd ${srcdir}/${_hkgname}-${pkgver}
  27     install -D -m744 register.sh   ${pkgdir}/usr/share/haskell/${pkgname}/register.sh
  28     install    -m744 unregister.sh ${pkgdir}/usr/share/haskell/${pkgname}/unregister.sh
  29     install -d -m755 ${pkgdir}/usr/share/doc/ghc/html/libraries
  30     ln -s /usr/share/doc/${pkgname}/html ${pkgdir}/usr/share/doc/ghc/html/libraries/${_hkgname}
  31     runhaskell Setup copy --destdir=${pkgdir}
  32 }
  33 md5sums=('80c5d2f0b88760229ddac430191aa93d')