Date: Tuesday, August 15, 2017 @ 10:42:22 Author: felixonmars Revision: 250884
upgpkg: haskell-tamarin-prover-utils 1.2.2-3 GHC 8.2.1 rebuild Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD ----------+ PKGBUILD | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2017-08-15 10:41:29 UTC (rev 250883) +++ PKGBUILD 2017-08-15 10:42:22 UTC (rev 250884) @@ -5,13 +5,14 @@ _hkgname=tamarin-prover-utils pkgname=haskell-tamarin-prover-utils pkgver=1.2.2 -pkgrel=2 +pkgrel=3 pkgdesc="Utility library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL") arch=('i686' 'x86_64') -depends=('ghc' 'haskell-sha' 'haskell-base64-bytestring' 'haskell-blaze-builder' 'haskell-dlist' +depends=('ghc-libs' 'haskell-sha' 'haskell-base64-bytestring' 'haskell-blaze-builder' 'haskell-dlist' 'haskell-fclabels' 'haskell-mtl' 'haskell-safe' 'haskell-syb') +makedepends=('ghc') source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz";) sha512sums=('f61fc4f601f5abf865b41c9b3ee3607b20f5e44b2d80f8e5a32986bf7d301b0e50479c4b473e5e478f87388491671b8180a8ee0db0d903b3abd2478e7dc9ce60') @@ -22,7 +23,6 @@ --prefix=/usr --docdir="/usr/share/doc/${pkgname}" \ --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid runhaskell Setup build - runhaskell Setup haddock --hoogle --html runhaskell Setup register --gen-script runhaskell Setup unregister --gen-script sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh @@ -34,8 +34,6 @@ install -D -m744 register.sh "${pkgdir}/usr/share/haskell/register/${pkgname}.sh" install -D -m744 unregister.sh "${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh" - install -d -m755 "${pkgdir}/usr/share/doc/ghc/html/libraries" - ln -s "/usr/share/doc/${pkgname}/html" "${pkgdir}/usr/share/doc/ghc/html/libraries/${_hkgname}" runhaskell Setup copy --destdir="${pkgdir}" rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"
