[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Thu Sep 21 09:09:39 UTC 2017
Date: Thursday, September 21, 2017 @ 09:09:39
Author: felixonmars
Revision: 259134
upgpkg: haskell-tamarin-prover-theory 1.2.2-5
rebuild with aeson,1.2.2.0
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
----------+
PKGBUILD | 7 ++-----
1 file changed, 2 insertions(+), 5 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2017-09-21 09:03:51 UTC (rev 259133)
+++ PKGBUILD 2017-09-21 09:09:39 UTC (rev 259134)
@@ -5,7 +5,7 @@
_hkgname=tamarin-prover-theory
pkgname=haskell-tamarin-prover-theory
pkgver=1.2.2
-pkgrel=4
+pkgrel=5
pkgdesc="Security protocol types and constraint solver library for the tamarin prover"
url="http://www.infsec.ethz.ch/research/software/tamarin"
license=("GPL")
@@ -20,7 +20,7 @@
build() {
cd "${srcdir}/tamarin-prover-${pkgver}/lib/theory"
- runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \
+ runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \
--prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
runhaskell Setup build
@@ -38,7 +38,4 @@
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"
-
- # Remove static libs
- find "$pkgdir"/usr/lib -name "*.a" -delete
}
More information about the arch-commits
mailing list