[arch-commits] Commit in agda-stdlib/trunk (PKGBUILD)

[Felix Yan]

    Date: Saturday, March 6, 2021 @ 17:48:03
  Author: felixonmars
Revision: 884492

upgpkg: agda-stdlib 1.4-3: rebuild with Agda 2.6.1.3

Modified:
  agda-stdlib/trunk/PKGBUILD

----------+
 PKGBUILD |    6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2021-03-06 17:39:55 UTC (rev 884491)
+++ PKGBUILD	2021-03-06 17:48:03 UTC (rev 884492)
@@ -3,8 +3,8 @@
 
 pkgname=agda-stdlib
 pkgver=1.4
-_agdaver=2.6.1.2
-pkgrel=2
+_agdaver=2.6.1.3
+pkgrel=3
 pkgdesc="Agda standard libraries"
 url="https://github.com/agda/agda-stdlib"
 license=("MIT")
@@ -27,7 +27,7 @@
     cd $pkgname-$pkgver
 
     runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla
-    runhaskell Setup build
+    runhaskell Setup build $MAKEFLAGS
 
     dist/build/GenerateEverything/GenerateEverything