mirror of
https://github.com/microsoft/vcpkg.git
synced 2025-01-17 01:38:18 +08:00
15 lines
474 B
Diff
15 lines
474 B
Diff
|
diff --git a/src/libtriton/Config.cmake.in b/src/libtriton/Config.cmake.in
|
||
|
|
index 683b5f2..94c58bc 100644
|
||
|
|
--- a/src/libtriton/Config.cmake.in
|
||
|
|
+++ b/src/libtriton/Config.cmake.in
|
||
|
|
@@ -19,6 +19,9 @@ message(STATUS "Found Triton: ${CMAKE_CURRENT_LIST_DIR}/tritonConfig.cmake (foun
|
||
|
|
|
||
|
|
include(CMakeFindDependencyMacro)
|
||
|
|
find_dependency(Boost)
|
||
|
|
+if (@Z3_INTERFACE@)
|
||
|
|
+ find_dependency(Z3 CONFIG)
|
||
|
|
+endif()
|
||
|
|
|
||
|
|
# Triton include
|
||
|
|
include_directories("@CMAKE_INSTALL_PREFIX@/include")
|