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

[Felix Yan]

    Date: Saturday, March 5, 2016 @ 11:29:14
  Author: fyan
Revision: 165128

upgpkg: agda 2.4.2.5-4

rebuild with cpphs-1.20.1, path-0.5.6

Modified:
  agda/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2016-03-05 10:26:57 UTC (rev 165127)
+++ PKGBUILD	2016-03-05 10:29:14 UTC (rev 165128)
@@ -5,7 +5,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.4.2.5
-pkgrel=3
+pkgrel=4
 pkgdesc="A dependently typed functional programming language and proof assistant"
 url="http://wiki.portal.chalmers.se/agda/"
 license=("custom")
@@ -25,8 +25,9 @@
             '51e2d2160861ec6b8bd879f85cbbd00f9ed7a564b307870992370457e307f3ac')
 
 prepare() {
-    sed -i 's/transformers-compat >= 0.3.3.3 && < 0.5/transformers-compat >= 0.3.3.3 \&\& < 0.6/' \
-        ${_hkgname}-${pkgver}/${_hkgname}.cabal
+    sed -e 's/transformers-compat >= 0.3.3.3 && < 0.5/transformers-compat >= 0.3.3.3 \&\& < 0.6/' \
+        -e 's/cpphs >= 1.19 && < 1.20/cpphs >= 1.19 \&\& < 1.21/' \
+        -i ${_hkgname}-${pkgver}/${_hkgname}.cabal
 
     cd ${_hkgname}-${pkgver}
     # https://github.com/agda/agda/issues/1779