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}
