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

[Felix Yan]

    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"
 }