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

[Felix Yan]

    Date: Friday, June 10, 2016 @ 10:35:20
  Author: fyan
Revision: 179125

upgpkg: agda 2.5.1-6

rebuild with persistent-2.5, http-api-data-0.2.3, microlens-0.4.4.1, monads-tf-0.1.0.3, persistent-sqlite-2.5.0.2, persistent-template-2.5.1.3, unordered-containers-0.2.7.1, yaml-0.8.17.2

Modified:
  agda/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2016-06-10 08:09:03 UTC (rev 179124)
+++ PKGBUILD	2016-06-10 08:35:20 UTC (rev 179125)
@@ -5,7 +5,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.5.1
-pkgrel=5
+pkgrel=6
 pkgdesc="A dependently typed functional programming language and proof assistant"
 url="http://wiki.portal.chalmers.se/agda/"
 license=("custom")
@@ -24,6 +24,8 @@
 sha256sums=('ee4658eafb514460d598322fa98528d1af6e25e5aa51843bb473c0d8a325c0c8')
 
 prepare() {
+    sed -i 's/, EdisonAPI == 1.3/, EdisonAPI >= 1.3/' $_hkgname-$pkgver/$_hkgname.cabal
+
     # TODO: Find a better way!
     # Build it twice to compile the agdai file.
     cp -a ${_hkgname}-${pkgver}{,-tmp}