updated on Wed Jan 25 20:08:56 UTC 2012
[aur-mirror.git] / haskell-incremental-sat-solver / PKGBUILD
blob565c7cf9247fb8bc36a66be54adf2cb33f9531b5
1 # Maintainer: Arch Haskell Team <arch-haskell@haskell.org>
2 _hkgname=incremental-sat-solver
3 pkgname=haskell-incremental-sat-solver
4 pkgver=0.1.7
5 pkgrel=4
6 pkgdesc="Simple, Incremental SAT Solving as a Library"
7 url="http://hackage.haskell.org/package/${_hkgname}"
8 license=('custom:BSD3')
9 arch=('i686' 'x86_64')
10 makedepends=()
11 depends=('ghc' 'haskell-containers=0.3.0.0' 'haskell-mtl')
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
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
35 md5sums=('3d5f3d0bff3a92f4207631fbe9b32c36')