diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-08-14 10:56:26 -0700 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-08-14 12:56:26 -0500 |
| commit | 94af13b18b10d6092981848fbae1b9c35b27b31d (patch) | |
| tree | dba5ffd52d36b21ac4f990992b6739bb8099b10c /CMakeLists.txt | |
| parent | 27e2baeab7fde6f2fbb5d34548303777ab7e2e5a (diff) | |
cmake: Export CVC4 library interface. (#3179)
Diffstat (limited to 'CMakeLists.txt')
| -rw-r--r-- | CMakeLists.txt | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 0748c8075..e9e684b6e 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -482,6 +482,37 @@ if(BUILD_BINDINGS_JAVA OR BUILD_BINDINGS_PYTHON) endif() #-----------------------------------------------------------------------------# +# Package configuration +# +# Export CVC4 targets to support find_package(CVC4) in other cmake projects. + +include(CMakePackageConfigHelpers) + +install(EXPORT cvc4-targets + FILE CVC4Targets.cmake + NAMESPACE CVC4:: + DESTINATION lib/cmake/CVC4) + +configure_package_config_file( + ${CMAKE_SOURCE_DIR}/cmake/CVC4Config.cmake.in + ${CMAKE_BINARY_DIR}/cmake/CVC4Config.cmake + INSTALL_DESTINATION lib/cmake/CVC4 +) + +write_basic_package_version_file( + ${CMAKE_CURRENT_BINARY_DIR}/CVC4ConfigVersion.cmake + VERSION ${CVC4_RELEASE_STRING} + COMPATIBILITY SameMinorVersion +) + +install(FILES + ${CMAKE_BINARY_DIR}/cmake/CVC4Config.cmake + ${CMAKE_BINARY_DIR}/CVC4ConfigVersion.cmake + DESTINATION lib/cmake/CVC4 +) + + +#-----------------------------------------------------------------------------# # Print build configuration # Convert build type to lower case. |