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

[Felix Yan]

    Date: Monday, March 27, 2017 @ 03:57:39
  Author: felixonmars
Revision: 219279

upgpkg: agda 2.5.2-7

rebuild with ieee754,0.8.0 idris,0.99.2

Modified:
  agda/trunk/PKGBUILD

----------+
 PKGBUILD |    8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-03-27 03:36:15 UTC (rev 219278)
+++ PKGBUILD	2017-03-27 03:57:39 UTC (rev 219279)
@@ -5,7 +5,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.5.2
-pkgrel=6
+pkgrel=7
 pkgdesc="A dependently typed functional programming language and proof assistant"
 url="http://wiki.portal.chalmers.se/agda/"
 license=("custom")
@@ -22,6 +22,8 @@
 sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
 
 prepare() {
+    sed -i 's/, ieee754 >= 0.7.8 && < 0.8/, ieee754 >= 0.7.8 \&\& < 0.9/' ${_hkgname}-${pkgver}/${_hkgname}.cabal
+
     # TODO: Find a better way!
     # Build it twice to compile the agdai file.
     cp -a ${_hkgname}-${pkgver}{,-tmp}
@@ -29,7 +31,7 @@
 
 build() {
     cd "${srcdir}/${_hkgname}-${pkgver}"
-    
+
     runhaskell Setup configure -O \
         --prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
         --libsubdir=\$compiler/site-local/\$pkgid \
@@ -51,7 +53,7 @@
     cd "${srcdir}/${_hkgname}-${pkgver}"
     runhaskell Setup copy --destdir="${pkgdir}"
 
-    install -m644 "${srcdir}/${_hkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Primitive.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive.agdai  
+    install -m644 "${srcdir}/${_hkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Primitive.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive.agdai
     install -m644 "${srcdir}/${_hkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Builtin/*.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Builtin/
 
     rm -r "$pkgdir"/usr/{lib,share/doc}