[arch-commits] Commit in idris/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Tue May 19 23:26:43 UTC 2020
Date: Tuesday, May 19, 2020 @ 23:26:42
Author: felixonmars
Revision: 630338
upgpkg: idris 1.3.2-132: rebuild with tasty-golden 2.3.3.3
Modified:
idris/trunk/PKGBUILD
----------+
PKGBUILD | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2020-05-19 23:11:34 UTC (rev 630337)
+++ PKGBUILD 2020-05-19 23:26:42 UTC (rev 630338)
@@ -3,7 +3,7 @@
pkgname=idris
pkgver=1.3.2
-pkgrel=131
+pkgrel=132
pkgdesc="Functional Programming Language with Dependent Types"
url="https://www.idris-lang.org/"
license=("BSD")
@@ -41,7 +41,7 @@
--prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" --enable-tests \
--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \
-fFFI -fGMP -f-release -f-freestanding -f-CI -f-execonly --ghc-option='-pie'
- 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