[arch-commits] Commit in idris/trunk (PKGBUILD)

[Felix Yan]

    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"