7 files changed, 152 insertions, 0 deletions
diff --git a/lib/Basic/CMakeLists.txt b/lib/Basic/CMakeLists.txt
new file mode 100644
index 00000000..13f76d42
--- /dev/null
+++ b/lib/Basic/CMakeLists.txt
@@ -0,0 +1,14 @@
+#===------------------------------------------------------------------------===#
+#
+#                     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(kleeBasic
+	CmdLineOptions.cpp
+	ConstructSolverChain.cpp
+	KTest.cpp
+	Statistics.cpp
+)
diff --git a/lib/CMakeLists.txt b/lib/CMakeLists.txt
new file mode 100644
index 00000000..8a074932
--- /dev/null
+++ b/lib/CMakeLists.txt
@@ -0,0 +1,14 @@
+#===------------------------------------------------------------------------===#
+#
+#                     The KLEE Symbolic Virtual Machine
+#
+# This file is distributed under the University of Illinois Open Source
+# License. See LICENSE.TXT for details.
+#
+#===------------------------------------------------------------------------===#
+add_subdirectory(Basic)
+add_subdirectory(Support)
+add_subdirectory(Expr)
+add_subdirectory(Solver)
+add_subdirectory(Module)
+add_subdirectory(Core)
diff --git a/lib/Core/CMakeLists.txt b/lib/Core/CMakeLists.txt
new file mode 100644
index 00000000..05e2cffa
--- /dev/null
+++ b/lib/Core/CMakeLists.txt
@@ -0,0 +1,29 @@
+#===------------------------------------------------------------------------===#
+#
+#                     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(kleeCore
+	AddressSpace.cpp
+	CallPathManager.cpp
+	Context.cpp
+	CoreStats.cpp
+	ExecutionState.cpp
+	Executor.cpp
+	ExecutorTimers.cpp
+	ExecutorUtil.cpp
+	ExternalDispatcher.cpp
+	ImpliedValue.cpp
+	Memory.cpp
+	MemoryManager.cpp
+	PTree.cpp
+	Searcher.cpp
+	SeedInfo.cpp
+	SpecialFunctionHandler.cpp
+	StatsTracker.cpp
+	TimingSolver.cpp
+	UserSearcher.cpp
+)
diff --git a/lib/Expr/CMakeLists.txt b/lib/Expr/CMakeLists.txt
new file mode 100644
index 00000000..6ea77544
--- /dev/null
+++ b/lib/Expr/CMakeLists.txt
@@ -0,0 +1,23 @@
+#===------------------------------------------------------------------------===#
+#
+#                     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(kleaverExpr
+	ArrayCache.cpp
+	Assigment.cpp
+	Constraints.cpp
+	ExprBuilder.cpp
+	Expr.cpp
+	ExprEvaluator.cpp
+	ExprPPrinter.cpp
+	ExprSMTLIBPrinter.cpp
+	ExprUtil.cpp
+	ExprVisitor.cpp
+	Lexer.cpp
+	Parser.cpp
+	Updates.cpp
+)
diff --git a/lib/Module/CMakeLists.txt b/lib/Module/CMakeLists.txt
new file mode 100644
index 00000000..a952ed17
--- /dev/null
+++ b/lib/Module/CMakeLists.txt
@@ -0,0 +1,20 @@
+#===------------------------------------------------------------------------===#
+#
+#                     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(kleeModule
+	Checks.cpp
+	InstructionInfoTable.cpp
+	IntrinsicCleaner.cpp
+	KInstruction.cpp
+	KModule.cpp
+	LowerSwitch.cpp
+	ModuleUtil.cpp
+	Optimize.cpp
+	PhiCleaner.cpp
+	RaiseAsm.cpp
+)
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})
diff --git a/lib/Support/CMakeLists.txt b/lib/Support/CMakeLists.txt
new file mode 100644
index 00000000..4bf7ea7d
--- /dev/null
+++ b/lib/Support/CMakeLists.txt
@@ -0,0 +1,20 @@
+#===------------------------------------------------------------------------===#
+#
+#                     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(kleeSupport
+	CompressionStream.cpp
+	ErrorHandling.cpp
+	MemoryUsage.cpp
+	PrintVersion.cpp
+	RNG.cpp
+	Time.cpp
+	Timer.cpp
+	TreeStream.cpp
+)
+
+target_link_libraries(kleeSupport PRIVATE ${ZLIB_LIBRARIES})