3 bitmap.c poolarch.c poolvendor.c poolid.c strpool.c dirpool.c
4 solver.c solverdebug.c repo_solv.c evr.c pool.c
5 queue.c repo.c repodata.c repopage.c util.c policy.c solvable.c
6 transaction.c rules.c problems.c
7 chksum.c md5.c sha1.c sha2.c satversion.c)
9 ADD_LIBRARY(satsolver STATIC ${libsatsolver_SRCS})
11 SET(libsatsolver_HEADERS
12 bitmap.h evr.h hash.h policy.h poolarch.h poolvendor.h pool.h
13 poolid.h pooltypes.h queue.h solvable.h solver.h solverdebug.h
14 repo.h repodata.h repopage.h repo_solv.h util.h
15 strpool.h dirpool.h knownid.h transaction.h rules.h problems.h
16 chksum.h md5.h sha1.h sha2.h ${CMAKE_BINARY_DIR}/src/satversion.h)
18 SET(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -fPIC")
20 INSTALL(FILES ${libsatsolver_HEADERS} DESTINATION "${CMAKE_INSTALL_PREFIX}/include/satsolver")
21 INSTALL(TARGETS satsolver LIBRARY DESTINATION ${LIB_INSTALL_DIR} ARCHIVE DESTINATION ${LIB_INSTALL_DIR})