Date: Saturday, February 17, 2018 @ 17:24:10 Author: felixonmars Revision: 296145
upgpkg: agda 2.5.3-16 rebuild with EdisonCore,1.3.2.1 Modified: agda/trunk/PKGBUILD ----------+ PKGBUILD | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-02-17 17:24:08 UTC (rev 296144) +++ PKGBUILD 2018-02-17 17:24:10 UTC (rev 296145) @@ -5,7 +5,7 @@ _hkgname=Agda pkgname=agda pkgver=2.5.3 -pkgrel=15 +pkgrel=16 pkgdesc="A dependently typed functional programming language and proof assistant" url="http://wiki.portal.chalmers.se/agda/"; license=("custom") @@ -28,6 +28,8 @@ sed -e "s|rawSystem agda \\[|rawSystem \"env\" [\"Agda_datadir=$PWD/lib-target\", \"LD_LIBRARY_PATH=$PWD/$pkgname-$pkgver/dist/build\", agda,|" \ -e "s|(ms, datadir dirs|(ms, \"$PWD/lib-target\"|" \ -i $pkgname-$pkgver/Setup.hs + + sed -i 's/, EdisonCore >= 1.3.1.1 && < 1.3.2/, EdisonCore >= 1.3.1.1/' $pkgname-$pkgver/$_hkgname.cabal } build() {
