diff options
Diffstat (limited to 'src/prop/bvminisat/CMakeLists.txt')
| -rw-r--r-- | src/prop/bvminisat/CMakeLists.txt | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/src/prop/bvminisat/CMakeLists.txt b/src/prop/bvminisat/CMakeLists.txt deleted file mode 100644 index 3a5d4dba2..000000000 --- a/src/prop/bvminisat/CMakeLists.txt +++ /dev/null @@ -1,30 +0,0 @@ -set(bvminisat_src_files - bvminisat.cpp - bvminisat.h - core/Dimacs.h - core/Solver.cc - core/Solver.h - core/SolverTypes.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(bvminisat ${bvminisat_src_files}) -target_include_directories(bvminisat PRIVATE .) -target_compile_definitions(bvminisat - PRIVATE - -D__BUILDING_CVC4LIB - -D__STDC_LIMIT_MACROS - -D__STDC_FORMAT_MACROS -) -target_link_libraries(bvminisat expr) |