INCLUDE_DIRECTORIES(${ZLIB_INCLUDE_DIR})
ENDIF( NOT ZLIB_FOUND)
+FIND_PACKAGE(Satsolver REQUIRED)
+IF ( NOT SATSOLVER_FOUND )
+ MESSAGE( FATAL_ERROR " libsatsolver not found" )
+ELSE ( NOT SATSOLVER_FOUND )
+ INCLUDE_DIRECTORIES( ${SATSOLVER_INCLUDE_DIR} )
+ENDIF( NOT SATSOLVER_FOUND )
+
FIND_PROGRAM( DOXYGEN doxygen )
IF ( NOT DOXYGEN )
MESSAGE( FATAL_ERROR "doxygen not found: install doxygen to build the documentation." )
--- /dev/null
+
+if(SATSOLVER_INCLUDE_DIR AND SATSOLVER_LIBRARY)
+ # Already in cache, be silent
+ set(SATSOLVER_FIND_QUIETLY TRUE)
+endif(SATSOLVER_INCLUDE_DIR AND SATSOLVER_LIBRARY)
+
+set(SATSOLVER_LIBRARY)
+set(SATSOLVER_INCLUDE_DIR)
+
+FIND_PATH(SATSOLVER_INCLUDE_DIR satsolver/solvable.h
+ /usr/include
+ /usr/local/include
+)
+
+FIND_LIBRARY(SATSOLVER_LIBRARY NAMES satsolver0
+ 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)
+else(SATSOLVER_INCLUDE_DIR AND SATSOLVER_LIBRARY)
+ MESSAGE( STATUS "** satsolver not found")
+ MESSAGE( STATUS "** install package libsatsolver-devel")
+ 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
Provides: yast2-packagemanager
Obsoletes: yast2-packagemanager
BuildRequires: cmake
-BuildRequires: sqlite sqlite-devel
+BuildRequires: sqlite sqlite-devel libsatsolver-devel
BuildRequires: boost-devel curl-devel dejagnu doxygen gcc-c++ graphviz hal-devel libxml2-devel rpm-devel gettext-devel
BuildRequires: update-desktop-files
Requires: gpg2