cmake/FindCaDiCaL.cmake

   1 #####################
   2 ## FindCaDiCaL.cmake
   3 ## Top contributors (to current version):
   4 ##   Mathias Preiner
   5 ## This file is part of the CVC4 project.
   6 ## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
   7 ## in the top-level source directory and their institutional affiliations.
   8 ## All rights reserved.  See the file COPYING in the top-level source
   9 ## directory for licensing information.
  10 ##
  11 # Find CaDiCaL
  12 # CaDiCaL_FOUND - system has CaDiCaL lib
  13 # CaDiCaL_INCLUDE_DIR - the CaDiCaL include directory
  14 # CaDiCaL_LIBRARIES - Libraries needed to use CaDiCaL
  15
  16 find_path(CaDiCaL_INCLUDE_DIR NAMES cadical.hpp)
  17 find_library(CaDiCaL_LIBRARIES NAMES cadical)
  18
  19 include(FindPackageHandleStandardArgs)
  20 find_package_handle_standard_args(CaDiCaL
  21   DEFAULT_MSG
  22   CaDiCaL_INCLUDE_DIR CaDiCaL_LIBRARIES)
  23
  24 mark_as_advanced(CaDiCaL_INCLUDE_DIR CaDiCaL_LIBRARIES)
  25 if(CaDiCaL_LIBRARIES)
  26   message(STATUS "Found CaDiCaL libs: ${CaDiCaL_LIBRARIES}")
  27 endif()