[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