[arch-commits] Commit in haskell-tamarin-prover-term/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Tue Aug 15 15:49:30 UTC 2017
Date: Tuesday, August 15, 2017 @ 15:49:30
Author: felixonmars
Revision: 251003
upgpkg: haskell-tamarin-prover-term 1.2.2-2
GHC 8.2.1 rebuild
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
----------+
PKGBUILD | 8 +++-----
1 file changed, 3 insertions(+), 5 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2017-08-15 15:47:13 UTC (rev 251002)
+++ PKGBUILD 2017-08-15 15:49:30 UTC (rev 251003)
@@ -5,13 +5,14 @@
_hkgname=tamarin-prover-term
pkgname=haskell-tamarin-prover-term
pkgver=1.2.2
-pkgrel=1
+pkgrel=2
pkgdesc="Term manipulation library for the tamarin prover"
url="http://www.infsec.ethz.ch/research/software/tamarin"
license=("GPL")
arch=('i686' 'x86_64')
-depends=('ghc' 'haskell-hunit' 'haskell-attoparsec' 'haskell-dlist' 'haskell-mtl' 'haskell-safe'
+depends=('ghc-libs' 'haskell-hunit' 'haskell-attoparsec' 'haskell-dlist' 'haskell-mtl' 'haskell-safe'
'haskell-tamarin-prover-utils')
+makedepends=('ghc')
source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz")
sha512sums=('f61fc4f601f5abf865b41c9b3ee3607b20f5e44b2d80f8e5a32986bf7d301b0e50479c4b473e5e478f87388491671b8180a8ee0db0d903b3abd2478e7dc9ce60')
@@ -22,7 +23,6 @@
--prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
runhaskell Setup build
- runhaskell Setup haddock --hoogle --html
runhaskell Setup register --gen-script
runhaskell Setup unregister --gen-script
sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
@@ -34,8 +34,6 @@
install -D -m744 register.sh "${pkgdir}/usr/share/haskell/register/${pkgname}.sh"
install -D -m744 unregister.sh "${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh"
- install -d -m755 "${pkgdir}/usr/share/doc/ghc/html/libraries"
- ln -s "/usr/share/doc/${pkgname}/html" "${pkgdir}/usr/share/doc/ghc/html/libraries/${_hkgname}"
runhaskell Setup copy --destdir="${pkgdir}"
rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"
More information about the arch-commits
mailing list