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

[Felix Yan]

    Date: Monday, April 18, 2016 @ 05:38:03
  Author: fyan
Revision: 171282

upgpkg: agda 2.5.1-2

include missing .agdai files

Modified:
  agda/trunk/PKGBUILD

----------+
 PKGBUILD |    9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2016-04-17 23:39:52 UTC (rev 171281)
+++ PKGBUILD	2016-04-18 03:38:03 UTC (rev 171282)
@@ -5,7 +5,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.5.1
-pkgrel=1
+pkgrel=2
 pkgdesc="A dependently typed functional programming language and proof assistant"
 url="http://wiki.portal.chalmers.se/agda/"
 license=("custom")
@@ -47,7 +47,11 @@
     runhaskell Setup configure --prefix="$PWD/target" --datasubdir="$pkgname"
     LC_CTYPE=en_US.UTF-8 runhaskell Setup build
     runhaskell Setup copy
+
     target/bin/agda target/share/agda/lib/prim/Agda/Primitive.agda
+    for _file in target/share/agda/lib/prim/Agda/Builtin/*.agda; do
+        target/bin/agda "$_file"
+    done
 }
 
 package() {
@@ -54,7 +58,8 @@
     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}
     install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"