[arch-commits] Commit in haskell-tamarin-prover-utils/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Sat Sep 23 17:48:32 UTC 2017
Date: Saturday, September 23, 2017 @ 17:48:31
Author: felixonmars
Revision: 260288
upgpkg: haskell-tamarin-prover-utils 1.2.2-4
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
----------+
PKGBUILD | 7 ++-----
1 file changed, 2 insertions(+), 5 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2017-09-23 17:45:46 UTC (rev 260287)
+++ PKGBUILD 2017-09-23 17:48:31 UTC (rev 260288)
@@ -5,7 +5,7 @@
_hkgname=tamarin-prover-utils
pkgname=haskell-tamarin-prover-utils
pkgver=1.2.2
-pkgrel=3
+pkgrel=4
pkgdesc="Utility library for the tamarin prover"
url="http://www.infsec.ethz.ch/research/software/tamarin"
license=("GPL")
@@ -19,7 +19,7 @@
build() {
cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
- 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
@@ -36,7 +36,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