Date: Saturday, September 23, 2017 @ 15:07:40 Author: felixonmars Revision: 259986
upgpkg: cryptol 2.5.0-5 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2017-09-23 15:07:26 UTC (rev 259985) +++ PKGBUILD 2017-09-23 15:07:40 UTC (rev 259986) @@ -3,7 +3,7 @@ pkgname=cryptol pkgver=2.5.0 -pkgrel=4 +pkgrel=5 pkgdesc="The Language of Cryptography" url="http://www.cryptol.net"; license=("custom:BSD3") @@ -20,7 +20,7 @@ build() { cd "${srcdir}/${pkgname}-${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}" --datasubdir="$pkgname" \ --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \ -f-static -f-relocatable @@ -39,7 +39,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 }
