| # Config file for the @EXPORT_TYPE@ STP Package |
| # It defines the following variables |
| # STP_INCLUDE_DIRS - include directories for STP |
| # STP_STATIC_LIBRARY - static library target (empty if not built) |
| # STP_SHARED_LIBRARY - dynamic library target (empty if not built) |
| # STP_EXECUTABLE - the stp executable |
| # STP_VERSION_* - the stp MAJOR/MINOR/PATCH versions |
| # STP_VERSION - the stp complete version string |
| |
| # Compute paths |
| get_filename_component(STP_CMAKE_DIR "${CMAKE_CURRENT_LIST_FILE}" PATH) |
| set(STP_INCLUDE_DIRS "@CONF_INCLUDE_DIRS@") |
| |
| |
| if ("@USE_CRYPTOMINISAT@" STREQUAL "ON") |
| include(CMakeFindDependencyMacro) |
| find_dependency(cryptominisat5) |
| endif() |
| |
| # Our library dependencies (contains definitions for IMPORTED targets) |
| include("${STP_CMAKE_DIR}/@STP_TARGETS_FILENAME@") |
| |
| # These are IMPORTED targets created by @STP_TARGETS_FILENAME@ |
| set(STP_EXECUTABLE stp) |
| |
| set(STP_STATIC_LIBRARY stp) |
| set(STP_SHARED_LIBRARY stp) |
| |
| # Note version variables are implicitly set by STPConfigVersion.cmake |
