Date: Tuesday, November 6, 2018 @ 23:11:08 Author: felixonmars Revision: 402427
upgpkg: haskell-tamarin-prover-term 1.4.0-23 rebuild with ghc 8.6.2 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD ----------+ PKGBUILD | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-11-06 23:10:10 UTC (rev 402426) +++ PKGBUILD 2018-11-06 23:11:08 UTC (rev 402427) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-term pkgname=haskell-tamarin-prover-term pkgver=1.4.0 -pkgrel=22 +pkgrel=23 pkgdesc="Term manipulation library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin" license=("GPL") @@ -26,7 +26,7 @@ cd "${srcdir}/tamarin-prover-${pkgver}/lib/term" 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 runhaskell Setup register --gen-script @@ -38,8 +38,8 @@ package() { cd "${srcdir}/tamarin-prover-${pkgver}/lib/term" - 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" }