1 files changed, 29 insertions, 0 deletions
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
+)