haskell-funsat/PKGBUILD

   1 # Maintainer: Arch Haskell Team <arch-haskell@haskell.org>
   2 _hkgname=funsat
   3 pkgname=haskell-funsat
   4 pkgver=0.6.1
   5 pkgrel=3
   6 pkgdesc="A modern DPLL-style SAT solver"
   7 url="http://hackage.haskell.org/package/${_hkgname}"
   8 license=('custom:BSD3')
   9 arch=('i686' 'x86_64')
  10 makedepends=()
  11 depends=('ghc' 'haskell-quickcheck' 'haskell-array' 'haskell-bimap<0.3' 'haskell-bitset<1' 'haskell-containers' 'haskell-fgl' 'haskell-mtl<2' 'haskell-parse-dimacs<2' 'haskell-pretty=1.0.1.1' 'haskell-random=1.0.0.2' 'haskell-time=1.1.4')
  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     install -D -m644 LICENSE ${pkgdir}/usr/share/licenses/${pkgname}/LICENSE
  33     rm -f ${pkgdir}/usr/share/doc/${pkgname}/LICENSE
  34 }
  35 md5sums=('6ec67ada1b478c85cbcd8e47f11b5643')