[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Sat Sep 23 14:53:02 UTC 2017
Date: Saturday, September 23, 2017 @ 14:53:01
Author: felixonmars
Revision: 259958
upgpkg: haskell-sbv 7.3-2
Modified:
haskell-sbv/trunk/PKGBUILD
----------+
PKGBUILD | 7 ++-----
1 file changed, 2 insertions(+), 5 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2017-09-23 14:52:47 UTC (rev 259957)
+++ PKGBUILD 2017-09-23 14:53:01 UTC (rev 259958)
@@ -5,7 +5,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=7.3
-pkgrel=1
+pkgrel=2
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT solving"
url="http://leventerkok.github.com/sbv"
license=("custom:BSD3")
@@ -20,7 +20,7 @@
build() {
cd "${srcdir}/${_hkgname}-${pkgver}"
- 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 @@
runhaskell Setup copy --destdir="${pkgdir}"
install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
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