Date: Friday, October 11, 2019 @ 20:49:26 Author: jelle Revision: 515185
upgpkg: cryptol 2.7.0-41 Enable PIE for cryptol binary Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2019-10-11 20:35:23 UTC (rev 515184) +++ PKGBUILD 2019-10-11 20:49:26 UTC (rev 515185) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.7.0 -pkgrel=40 +pkgrel=41 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net"; license=("BSD") @@ -22,7 +22,7 @@ runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \ --prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \ --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \ - -f-static -f-relocatable + -f-static -f-relocatable --ghc-option='-pie' runhaskell Setup build runhaskell Setup register --gen-script runhaskell Setup unregister --gen-script
