Date: Wednesday, May 4, 2022 @ 08:56:10 Author: arojas Revision: 1192752
-ffat-lto-objects Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-05-04 08:55:47 UTC (rev 1192751) +++ PKGBUILD 2022-05-04 08:56:10 UTC (rev 1192752) @@ -3,7 +3,7 @@ pkgname=idris pkgver=1.3.3 -pkgrel=364 +pkgrel=365 pkgdesc="Functional Programming Language with Dependent Types" url="https://www.idris-lang.org/"; license=("BSD") @@ -35,6 +35,7 @@ build() { cd Idris-dev-$pkgver + export CFLAGS+=' -ffat-lto-objects' runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \ --prefix=/usr --docdir=/usr/share/doc/$pkgname --datasubdir=$pkgname --enable-tests \ --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid --ghc-option=-fllvm \
