diff options
Diffstat (limited to 'src/prop/minisat/CMakeLists.txt')
-rw-r--r-- | src/prop/minisat/CMakeLists.txt | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/src/prop/minisat/CMakeLists.txt b/src/prop/minisat/CMakeLists.txt index e69de29bb..137b15766 100644 --- a/src/prop/minisat/CMakeLists.txt +++ b/src/prop/minisat/CMakeLists.txt @@ -0,0 +1,31 @@ +set(minisat_src_files + core/Dimacs.h + core/Solver.cc + core/Solver.h + core/SolverTypes.h + minisat.cpp + minisat.h + mtl/Alg.h + mtl/Alloc.h + mtl/Heap.h + mtl/IntTypes.h + mtl/Map.h + mtl/Queue.h + mtl/Sort.h + mtl/Vec.h + mtl/XAlloc.h + simp/SimpSolver.cc + simp/SimpSolver.h + utils/Options.h +) + +include_directories(.) +add_library(minisat SHARED ${minisat_src_files}) +set_target_properties(minisat + PROPERTIES + COMPILE_DEFINITIONS + __BUILDING_CVC4LIB + __STDC_LIMIT_MACROS + __STDC_FORMAT_MACROS +) +add_dependencies(minisat expr) |