From f694994fb534c4671bbd56d651cd5359f2e40b80 Mon Sep 17 00:00:00 2001 From: Michael Andres Date: Fri, 12 Oct 2007 18:00:15 +0000 Subject: [PATCH] find libsatsolver.la --- cmake/modules/FindSatsolver.cmake | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/cmake/modules/FindSatsolver.cmake b/cmake/modules/FindSatsolver.cmake index e7ee174..ab0a662 100644 --- a/cmake/modules/FindSatsolver.cmake +++ b/cmake/modules/FindSatsolver.cmake @@ -12,12 +12,20 @@ FIND_PATH(SATSOLVER_INCLUDE_DIR satsolver/solvable.h /usr/local/include ) -FIND_LIBRARY(SATSOLVER_LIBRARY NAMES satsolver0 +FIND_FILE(SATSOLVER_LIBRARY libsatsolver.la PATHS - /usr/lib - /usr/local/lib + /usr/lib64 + /usr/local/lib64 + /usr/lib + /usr/local/lib ) +#FIND_LIBRARY(SATSOLVER_LIBRARY NAMES satsolver +# PATHS +# /usr/lib +# /usr/local/lib +#) + if(SATSOLVER_INCLUDE_DIR AND SATSOLVER_LIBRARY) MESSAGE( STATUS "satsolver found: includes in ${SATSOLVER_INCLUDE_DIR}, library in ${SATSOLVER_LIBRARY}") set(SATSOLVER_FOUND TRUE) @@ -27,4 +35,4 @@ else(SATSOLVER_INCLUDE_DIR AND SATSOLVER_LIBRARY) MESSAGE( STATUS "** (http://svn.opensuse.org/svn/zypp/trunk/sat-solver)") endif(SATSOLVER_INCLUDE_DIR AND SATSOLVER_LIBRARY) -MARK_AS_ADVANCED(SATSOLVER_INCLUDE_DIR SATSOLVER_LIBRARY) \ No newline at end of file +MARK_AS_ADVANCED(SATSOLVER_INCLUDE_DIR SATSOLVER_LIBRARY) -- 2.7.4