Date: Thursday, September 21, 2017 @ 10:23:24 Author: felixonmars Revision: 259142
upgpkg: idris 1.1.1-6 rebuild with aeson,1.2.2.0 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2017-09-21 10:15:27 UTC (rev 259141) +++ PKGBUILD 2017-09-21 10:23:24 UTC (rev 259142) @@ -4,7 +4,7 @@ pkgname=idris pkgver=1.1.1 -pkgrel=5 +pkgrel=6 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/"; license=("custom:BSD3") @@ -31,7 +31,7 @@ build() { cd "$srcdir"/Idris-dev-$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 \ -fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly @@ -50,7 +50,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 }
