2 SET(libsatsolver_SRCS bitmap.c poolarch.c poolvendor.c poolid.c
3 solver.c repo_solv.c evr.c pool.c queue.c repo.c util.c)
5 ADD_LIBRARY(satsolver STATIC ${libsatsolver_SRCS})
7 SET(libsatsolver_HEADERS bitmap.h evr.h hash.h poolarch.h poolvendor.h pool.h poolid.h pooltypes.h queue.h solvable.h solver.h repo.h repo_solv.h util.h )
9 INSTALL( FILES ${libsatsolver_HEADERS} DESTINATION "${CMAKE_INSTALL_PREFIX}/include/satsolver" )
10 INSTALL(TARGETS satsolver LIBRARY DESTINATION ${LIB_INSTALL_DIR} ARCHIVE DESTINATION ${LIB_INSTALL_DIR})