From ed44a44579ff2ab3c08cf346a9516167333636fb Mon Sep 17 00:00:00 2001
From: FabianWolff <fabi.wolff@arcor.de>
Date: Fri, 18 Sep 2020 21:39:12 +0200
Subject: [PATCH] Fix z3.pc file template (#4693)

---
 z3.pc.cmake.in | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/z3.pc.cmake.in b/z3.pc.cmake.in
index af1969864..436dd6208 100644
--- a/z3.pc.cmake.in
+++ b/z3.pc.cmake.in
@@ -1,12 +1,12 @@
 prefix=@CMAKE_INSTALL_PREFIX@
 exec_prefix=@CMAKE_INSTALL_PREFIX@
-libdir=@CMAKE_INSTALL_LIBDIR@
-sharedlibdir=@CMAKE_INSTALL_LIBDIR@
-includedir=@CMAKE_INSTALL_INCLUDEDIR@
+libdir=${exec_prefix}/@CMAKE_INSTALL_LIBDIR@
+sharedlibdir=${exec_prefix}/@CMAKE_INSTALL_LIBDIR@
+includedir=${prefix}/@CMAKE_INSTALL_INCLUDEDIR@
 
 Name: z3
 Description: The Z3 Theorem Prover
-Version: @VERSION@
+Version: @Z3_VERSION@
 
 Requires:
 Libs: -L${libdir} -L${sharedlibdir} -lz3