cmake/FindCaDiCaL.cmake

   1 # Find CaDiCaL
   2 # CaDiCaL_FOUND - system has CaDiCaL lib
   3 # CaDiCaL_INCLUDE_DIR - the CaDiCaL include directory
   4 # CaDiCaL_LIBRARIES - Libraries needed to use CaDiCaL
   5
   6 find_path(CaDiCaL_INCLUDE_DIR NAMES cadical.hpp)
   7 find_library(CaDiCaL_LIBRARIES NAMES cadical)
   8
   9 include(FindPackageHandleStandardArgs)
  10 find_package_handle_standard_args(CaDiCaL
  11   DEFAULT_MSG
  12   CaDiCaL_INCLUDE_DIR CaDiCaL_LIBRARIES)
  13
  14 mark_as_advanced(CaDiCaL_INCLUDE_DIR CaDiCaL_LIBRARIES)
  15 if(CaDiCaL_LIBRARIES)
  16   message(STATUS "Found CaDiCaL libs: ${CaDiCaL_LIBRARIES}")
  17 endif()