diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-21 16:27:26 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | b2a89b4488d6665ba23c7cb3108ad4cb8c35f4dc (patch) | |
| tree | 82b356597e1ac7626aacd1a0596cbd9b6882976c /cmake/FindCaDiCaL.cmake | |
| parent | 3b433d829ccfc0d91cb98f368a8896f5ccad1671 (diff) | |
cmake: Build fully static binaries with option --static.
Diffstat (limited to 'cmake/FindCaDiCaL.cmake')
| -rw-r--r-- | cmake/FindCaDiCaL.cmake | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/cmake/FindCaDiCaL.cmake b/cmake/FindCaDiCaL.cmake index 2976bb2bb..bd7de319a 100644 --- a/cmake/FindCaDiCaL.cmake +++ b/cmake/FindCaDiCaL.cmake @@ -32,3 +32,6 @@ find_package_handle_standard_args(CaDiCaL CaDiCaL_INCLUDE_DIR CaDiCaL_LIBRARIES) mark_as_advanced(CaDiCaL_INCLUDE_DIR CaDiCaL_LIBRARIES) +if(CaDiCaL_LIBRARIES) + message(STATUS "Found CaDiCaL libs: ${CaDiCaL_LIBRARIES}") +endif() |