diff options
Diffstat (limited to 'cmake/FindKissat.cmake')
-rw-r--r-- | cmake/FindKissat.cmake | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cmake/FindKissat.cmake b/cmake/FindKissat.cmake index 08b214961..e257d2b3d 100644 --- a/cmake/FindKissat.cmake +++ b/cmake/FindKissat.cmake @@ -63,6 +63,7 @@ if(NOT Kissat_FOUND_SYSTEM) <INSTALL_DIR>/lib/libkissat.a COMMAND ${CMAKE_COMMAND} -E copy <SOURCE_DIR>/src/kissat.h <INSTALL_DIR>/include/kissat/kissat.h + BUILD_BYPRODUCTS <INSTALL_DIR>/lib/libkissat.a ) set(Kissat_INCLUDE_DIR "${DEPS_BASE}/include/") |