[arch-commits] Commit in agda/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Tue May 19 21:44:05 UTC 2020
Date: Tuesday, May 19, 2020 @ 21:44:04
Author: felixonmars
Revision: 630232
upgpkg: agda 2.6.1-37: rebuild with tasty-golden 2.3.3.3
Modified:
agda/trunk/PKGBUILD
----------+
PKGBUILD | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2020-05-19 21:37:49 UTC (rev 630231)
+++ PKGBUILD 2020-05-19 21:44:04 UTC (rev 630232)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.1
-pkgrel=36
+pkgrel=37
pkgdesc="A dependently typed functional programming language and proof assistant"
url="https://wiki.portal.chalmers.se/agda/"
license=("custom")
@@ -36,7 +36,7 @@
--prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \
-fcpphs -f-debug -f-enable-cluster-counting
- LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+ LC_CTYPE=en_US.UTF-8 runhaskell Setup build $MAKEFLAGS
runhaskell Setup register --gen-script
runhaskell Setup unregister --gen-script
sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
More information about the arch-commits
mailing list