[arch-commits] Commit in haskell-tamarin-prover-utils/trunk (PKGBUILD)

[Felix Yan]

    Date: Tuesday, November 6, 2018 @ 21:36:39
  Author: felixonmars
Revision: 402238

upgpkg: haskell-tamarin-prover-utils 1.4.0-8

rebuild with ghc 8.6.2

Modified:
  haskell-tamarin-prover-utils/trunk/PKGBUILD

----------+
 PKGBUILD |   10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2018-11-06 21:35:40 UTC (rev 402237)
+++ PKGBUILD	2018-11-06 21:36:39 UTC (rev 402238)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.0
-pkgrel=7
+pkgrel=8
 pkgdesc="Utility 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/utils"
     
     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/utils"
     
-    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"
 }