blob: ee70478bf021797c4c09429c9956c443458731a8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
--- STPConfig.cmake.in.orig 2019-03-02 14:26:01 UTC
+++ STPConfig.cmake.in
@@ -11,6 +11,9 @@
get_filename_component(STP_CMAKE_DIR "${CMAKE_CURRENT_LIST_FILE}" PATH)
set(STP_INCLUDE_DIRS "@CONF_INCLUDE_DIRS@")
+include(CMakeFindDependencyMacro)
+find_dependency(cryptominisat5)
+
# Our library dependencies (contains definitions for IMPORTED targets)
include("${STP_CMAKE_DIR}/@STP_TARGETS_FILENAME@")
|
