2 files changed, 62 insertions, 0 deletions
diff --git a/src/prop/bvminisat/CMakeLists.txt b/src/prop/bvminisat/CMakeLists.txt
index e69de29bb..f55d74c48 100644
--- a/src/prop/bvminisat/CMakeLists.txt
+++ b/src/prop/bvminisat/CMakeLists.txt
@@ -0,0 +1,31 @@
+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
+)
+
+include_directories(.)
+add_library(bvminisat SHARED ${bvminisat_src_files})
+set_target_properties(bvminisat
+  PROPERTIES
+    COMPILE_DEFINITIONS
+      __BUILDING_CVC4LIB
+      __STDC_LIMIT_MACROS
+      __STDC_FORMAT_MACROS
+)
+add_dependencies(bvminisat expr)
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)