prefix=/usr
exec_prefix=/usr
libdir=${exec_prefix}/lib/x86_64-linux-gnu
sharedlibdir=${exec_prefix}/lib/x86_64-linux-gnu
includedir=${prefix}/include

Name: z3
Description: The Z3 Theorem Prover
Version: 4.8.10.0

Requires:
Libs: -L${libdir} -L${sharedlibdir} -lz3
Cflags: -I${includedir}