From 7477150e3aea2ed8e5847c216ee057485242cd55 Mon Sep 17 00:00:00 2001
From: Christian Neukirchen <chneukirchen@gmail.com>
Date: Sat, 28 May 2016 16:00:36 +0200
Subject: [PATCH] z3: fix PIE.

---
 srcpkgs/z3/template | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/srcpkgs/z3/template b/srcpkgs/z3/template
index f026075a486..9d2f86ce54b 100644
--- a/srcpkgs/z3/template
+++ b/srcpkgs/z3/template
@@ -1,7 +1,7 @@
 # Template file for 'z3'
 pkgname=z3
 version=4.4.1
-revision=1
+revision=2
 wrksrc="${pkgname}-${pkgname}-${version}"
 hostmakedepends="python"
 makedepends="libgomp-devel gmp-devel"
@@ -23,7 +23,7 @@ do_configure() {
 		sed -i '/define USE_INTRINSICS\|emmintrin.h/d' src/util/hwf.cpp
 	esac
 
-	./configure --prefix=/usr -g
+	LDFLAGS="$CFLAGS $LDFLAGS" ./configure --prefix=/usr -g
 }
 
 do_build() {