Date: Friday, October 11, 2019 @ 21:46:23 Author: jelle Revision: 515195
upgpkg: tamarin-prover 1.4.1-161 Enable PIE for tamarin-prover binaries Modified: tamarin-prover/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2019-10-11 21:00:27 UTC (rev 515194) +++ PKGBUILD 2019-10-11 21:46:23 UTC (rev 515195) @@ -3,7 +3,7 @@ pkgname=tamarin-prover pkgver=1.4.1 -pkgrel=160 +pkgrel=161 pkgdesc="The Tamarin prover for security protocol analysis" url="https://tamarin-prover.github.io" license=("GPL") @@ -31,7 +31,7 @@ runhaskell Setup configure -O --enable-executable-dynamic --prefix=/usr \ --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \ - -fthreaded -ftest-coverage -f-build-tests + -fthreaded -ftest-coverage -f-build-tests --ghc-option='-pie' runhaskell Setup build cd plugins/sapic