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

Felix Yan felixonmars at archlinux.org
Wed Nov 7 11:10:11 UTC 2018


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


More information about the arch-commits mailing list