prefix=@CMAKE_INSTALL_PREFIX@
exec_prefix=@CMAKE_INSTALL_PREFIX@
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: @Z3_VERSION@

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