1 files changed, 32 insertions, 0 deletions
diff --git a/lib/Solver/CMakeLists.txt b/lib/Solver/CMakeLists.txt
new file mode 100644
index 00000000..8add4ad6
--- /dev/null
+++ b/lib/Solver/CMakeLists.txt
@@ -0,0 +1,32 @@
+#===------------------------------------------------------------------------===#
+#
+#                     The KLEE Symbolic Virtual Machine
+#
+# This file is distributed under the University of Illinois Open Source
+# License. See LICENSE.TXT for details.
+#
+#===------------------------------------------------------------------------===#
+klee_add_component(kleaverSolver
+	CachingSolver.cpp
+	CexCachingSolver.cpp
+	ConstantDivision.cpp
+	CoreSolver.cpp
+	DummySolver.cpp
+	FastCexSolver.cpp
+	IncompleteSolver.cpp
+	IndependentSolver.cpp
+	MetaSMTSolver.cpp
+	PCLoggingSolver.cpp
+	QueryLoggingSolver.cpp
+	SMTLIBLoggingSolver.cpp
+	Solver.cpp
+	SolverImpl.cpp
+	SolverStats.cpp
+	STPBuilder.cpp
+	STPSolver.cpp
+	ValidatingSolver.cpp
+	Z3Builder.cpp
+	Z3Solver.cpp
+)
+
+target_link_libraries(kleaverSolver PRIVATE ${KLEE_SOLVER_LIBRARIES})