cmake/modules/FindSatsolver.cmake

   1
   2 if(SATSOLVER_INCLUDE_DIR AND SATSOLVER_LIBRARY AND SATSOLVER_EXT_LIBRARY)
   3         # Already in cache, be silent
   4         set(SATSOLVER_FIND_QUIETLY TRUE)
   5 endif(SATSOLVER_INCLUDE_DIR AND SATSOLVER_LIBRARY AND SATSOLVER_EXT_LIBRARY)
   6
   7 set(SATSOLVER_LIBRARY)
   8 set(SATSOLVER_EXT_LIBRARY)
   9 set(SATSOLVER_INCLUDE_DIR)
  10
  11 FIND_PATH(SATSOLVER_INCLUDE_DIR satsolver/solvable.h
  12         ${CMAKE_INSTALL_PREFIX}/include
  13         /usr/local/include
  14         /usr/include
  15 )
  16
  17 FIND_LIBRARY(SATSOLVER_LIBRARY NAMES satsolver
  18         PATHS
  19         ${CMAKE_INSTALL_PREFIX}/lib
  20         /usr/local/lib
  21         /usr/lib
  22 )
  23
  24 FIND_LIBRARY(SATSOLVER_EXT_LIBRARY NAMES satsolverext
  25         PATHS
  26         ${CMAKE_INSTALL_PREFIX}/lib
  27         /usr/local/lib
  28         /usr/lib
  29 )
  30
  31 if(SATSOLVER_INCLUDE_DIR AND SATSOLVER_LIBRARY)
  32    MESSAGE( STATUS "satsolver found: includes in ${SATSOLVER_INCLUDE_DIR}, library in ${SATSOLVER_LIBRARY} ${SATSOLVER_EXT_LIBRARY} ")
  33    set(SATSOLVER_FOUND TRUE)
  34 else(SATSOLVER_INCLUDE_DIR AND SATSOLVER_LIBRARY)
  35    MESSAGE( STATUS "** satsolver not found")
  36    MESSAGE( STATUS "** install package libsatsolver-devel")
  37    MESSAGE( STATUS "** (http://svn.opensuse.org/svn/zypp/trunk/sat-solver)")
  38 endif(SATSOLVER_INCLUDE_DIR AND SATSOLVER_LIBRARY)
  39
  40 MARK_AS_ADVANCED(SATSOLVER_INCLUDE_DIR SATSOLVER_LIBRARY)