Date: Monday, August 14, 2017 @ 09:58:10 Author: felixonmars Revision: 250261
upgpkg: idris 1.1.0-12 rebuild with aeson,1.2.1.0 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2017-08-14 09:38:16 UTC (rev 250260) +++ PKGBUILD 2017-08-14 09:58:10 UTC (rev 250261) @@ -4,7 +4,7 @@ pkgname=idris pkgver=1.1.0 -pkgrel=11 +pkgrel=12 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/" license=("custom:BSD3") @@ -26,7 +26,9 @@ cd Idris-dev-$pkgver patch -p1 -i ../cheapskate-0.1.1.patch - sed -i 's/, trifecta >= 1.6 && < 1.7/, trifecta >= 1.6 \&\& < 1.8/' idris.cabal + sed -e 's/, trifecta >= 1.6 && < 1.7/, trifecta >= 1.6 \&\& < 1.8/' \ + -e 's/, aeson >= 0.6 && < 1.2/, aeson >= 0.6 \&\& < 1.3/' \ + -i idris.cabal sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls ../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \ libs/*/Makefile @@ -49,7 +51,7 @@ package() { cd "$srcdir"/Idris-dev-$pkgver - + install -D -m744 register.sh "${pkgdir}/usr/share/haskell/register/${pkgname}.sh" install -D -m744 unregister.sh "${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh" install -d -m755 "${pkgdir}/usr/share/doc/ghc/html/libraries"