diff --git a/src/solver/assertions/CMakeLists.txt b/src/solver/assertions/CMakeLists.txt
new file mode 100644
index 000000000..3e1c1c0e3
--- /dev/null
+++ b/src/solver/assertions/CMakeLists.txt
@@ -0,0 +1,8 @@
+z3_add_component(solver_assertions
+  SOURCES
+    asserted_formulas.cpp
+  COMPONENT_DEPENDENCIES
+    solver
+    smt2parser
+    smt_params
+)