FIND_PACKAGE(Db43 REQUIRED)
FIND_PACKAGE(EXPAT REQUIRED)
-FIND_PACKAGE(Ruby REQUIRED)
+#FIND_PACKAGE(Ruby REQUIRED)
SET( PACKAGE "satsolver" )
SET( VERSION "${LIBSATSOLVER_MAJOR}.${LIBSATSOLVER_MINOR}.${LIBSATSOLVER_PATCH}" )
SET(libsatsolver_SRCS bitmap.c poolarch.c poolvendor.c poolid.c
-solver.c repo_solv.c evr.c pool.c queue.c repo.c util.c
-policy-ruby.c)
+solver.c repo_solv.c evr.c pool.c queue.c repo.c util.c policy.c )
ADD_LIBRARY(satsolver STATIC ${libsatsolver_SRCS})
SET(libsatsolver_HEADERS bitmap.h evr.h hash.h policy.h poolarch.h poolvendor.h pool.h poolid.h pooltypes.h queue.h solvable.h solver.h repo.h repo_solv.h util.h )
-SET( CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -g -O3 -Wall -I${RUBY_INCLUDE_PATH}" )
+SET( CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -g -O3 -Wall" )
INSTALL( FILES ${libsatsolver_HEADERS} DESTINATION "${CMAKE_INSTALL_PREFIX}/include/satsolver" )
INSTALL(TARGETS satsolver LIBRARY DESTINATION ${LIB_INSTALL_DIR} ARCHIVE DESTINATION ${LIB_INSTALL_DIR})
--- /dev/null
+/*
+ * Generic policy interface for SAT solver
+ *
+ */
+
+#include "solver.h"
+
+#include <stdio.h>
+#include "policy.h"
+
+int
+policy_init( const Pool *p )
+{
+ return 0;
+}
+
+
+int
+policy_exit( void )
+{
+ return 0;
+}
+
+/*-----------------------------------------------*/
+int
+policy_printrules( void )
+{
+ /* default: false */
+ return 0;
+}