diff options
Diffstat (limited to 'src/prop/minisat/CMakeLists.txt')
-rw-r--r-- | src/prop/minisat/CMakeLists.txt | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/src/prop/minisat/CMakeLists.txt b/src/prop/minisat/CMakeLists.txt deleted file mode 100644 index fee8233bd..000000000 --- a/src/prop/minisat/CMakeLists.txt +++ /dev/null @@ -1,30 +0,0 @@ -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 -) - -add_library(minisat ${minisat_src_files}) -target_include_directories(minisat PRIVATE .) -target_compile_definitions(minisat - PRIVATE - -D__BUILDING_CVC4LIB - -D__STDC_LIMIT_MACROS - -D__STDC_FORMAT_MACROS -) -target_link_libraries(minisat expr) |