prefix=/usr
exec_prefix=/usr
libdir=lib/x86_64-linux-gnu
sharedlibdir=lib/x86_64-linux-gnu
includedir=include/z3

Name: z3
Description: The Z3 Theorem Prover
Version: 

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