Date: Wednesday, November 7, 2018 @ 11:10:10 Author: felixonmars Revision: 402722
upgpkg: haskell-tamarin-prover-theory 1.4.0-45 rebuild with ghc 8.6.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD ----------+ PKGBUILD | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-11-07 11:07:08 UTC (rev 402721) +++ PKGBUILD 2018-11-07 11:10:10 UTC (rev 402722) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.0 -pkgrel=44 +pkgrel=45 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL") @@ -29,7 +29,7 @@ cd "${srcdir}/tamarin-prover-${pkgver}/lib/theory" runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \ - --prefix=/usr --docdir="/usr/share/doc/${pkgname}" \ + --prefix=/usr --docdir=/usr/share/doc/$pkgname \ --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid runhaskell Setup build # haddock failed to generate @@ -42,8 +42,8 @@ package() { cd "${srcdir}/tamarin-prover-${pkgver}/lib/theory" - install -D -m744 register.sh "${pkgdir}/usr/share/haskell/register/${pkgname}.sh" - install -D -m744 unregister.sh "${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh" - runhaskell Setup copy --destdir="${pkgdir}" + install -D -m744 register.sh "$pkgdir"/usr/share/haskell/register/$pkgname.sh + install -D -m744 unregister.sh "$pkgdir"/usr/share/haskell/unregister/$pkgname.sh + runhaskell Setup copy --destdir="$pkgdir" rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE" }
