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 }