Date: Friday, October 18, 2019 @ 23:30:32
Author: jelle
Revision: 517253
Enable PIE for idris
Modified:
idris/trunk/PKGBUILD
----------+
PKGBUILD | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2019-10-18 23:29:47 UTC (rev 517252)
+++ PKGBUILD 2019-10-18 23:30:32 UTC (rev 517253)
@@ -35,7 +35,7 @@
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 \
- -fFFI -fGMP -f-release -f-freestanding -f-CI -f-execonly
+ -fFFI -fGMP -f-release -f-freestanding -f-CI -f-execonly
--ghc-option='-pie'
LC_CTYPE=en_US.UTF-8 runhaskell Setup build
runhaskell Setup register --gen-script
runhaskell Setup unregister --gen-script
