cmake/modules/FindSatsolver.cmake

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