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"
