Date: Monday, March 21, 2022 @ 02:53:05 Author: felixonmars Revision: 1166567
upgpkg: idris 1.3.3-350: rebuil with memory 0.17.0 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-03-21 02:44:56 UTC (rev 1166566) +++ PKGBUILD 2022-03-21 02:53:05 UTC (rev 1166567) @@ -3,7 +3,7 @@ pkgname=idris pkgver=1.3.3 -pkgrel=349 +pkgrel=350 pkgdesc="Functional Programming Language with Dependent Types" url="https://www.idris-lang.org/"; license=("BSD") @@ -36,7 +36,7 @@ cd Idris-dev-$pkgver runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \ - --prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" --enable-tests \ + --prefix=/usr --docdir=/usr/share/doc/$pkgname --datasubdir=$pkgname --enable-tests \ --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid --ghc-option=-fllvm \ -fFFI -fGMP -f-release -f-freestanding -f-CI -f-execonly --ghc-option='-pie' LC_CTYPE=en_US.UTF-8 runhaskell Setup build $MAKEFLAGS
