mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-13 04:15:36 +00:00
Code Activity
z3/z3.pc.cmake.in

14 lines
352 B
CMake
Raw Permalink Normal View History

Add pkg-config file (#4368) * Add pkg-config file * Copy z3.cmake.in to the Docker for CI
2020-05-22 00:10:41 +08:00
prefix=@CMAKE_INSTALL_PREFIX@
exec_prefix=@CMAKE_INSTALL_PREFIX@
Fix z3.pc file template (#4693)
2020-09-18 21:39:12 +02:00
libdir=${exec_prefix}/@CMAKE_INSTALL_LIBDIR@
sharedlibdir=${exec_prefix}/@CMAKE_INSTALL_LIBDIR@
includedir=${prefix}/@CMAKE_INSTALL_INCLUDEDIR@
Add pkg-config file (#4368) * Add pkg-config file * Copy z3.cmake.in to the Docker for CI
2020-05-22 00:10:41 +08:00
Name: z3
Description: The Z3 Theorem Prover
Fix z3.pc file template (#4693)
2020-09-18 21:39:12 +02:00
Version: @Z3_VERSION@
Add pkg-config file (#4368) * Add pkg-config file * Copy z3.cmake.in to the Docker for CI
2020-05-22 00:10:41 +08:00
Requires:
Libs: -L${libdir} -L${sharedlibdir} -lz3
Cflags: -I${includedir}
Copy permalink