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

[Felix Yan]

    Date: Saturday, February 17, 2018 @ 17:24:10
  Author: felixonmars
Revision: 296145

upgpkg: agda 2.5.3-16

rebuild with EdisonCore,1.3.2.1

Modified:
  agda/trunk/PKGBUILD

----------+
 PKGBUILD |    4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2018-02-17 17:24:08 UTC (rev 296144)
+++ PKGBUILD	2018-02-17 17:24:10 UTC (rev 296145)
@@ -5,7 +5,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.5.3
-pkgrel=15
+pkgrel=16
 pkgdesc="A dependently typed functional programming language and proof assistant"
 url="http://wiki.portal.chalmers.se/agda/"
 license=("custom")
@@ -28,6 +28,8 @@
     sed -e "s|rawSystem agda \\[|rawSystem \"env\" [\"Agda_datadir=$PWD/lib-target\", \"LD_LIBRARY_PATH=$PWD/$pkgname-$pkgver/dist/build\", agda,|" \
         -e "s|(ms, datadir dirs|(ms, \"$PWD/lib-target\"|" \
         -i $pkgname-$pkgver/Setup.hs
+
+    sed -i 's/, EdisonCore >= 1.3.1.1 && < 1.3.2/, EdisonCore >= 1.3.1.1/' $pkgname-$pkgver/$_hkgname.cabal
 }
 
 build() {