From 97f560054d50349f8b4d56d2f24af89318552193 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 17 Mar 2021 15:51:50 -0700
Subject: [PATCH] Create CMakeLists.txt

---
 src/solver/assertions/CMakeLists.txt | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 src/solver/assertions/CMakeLists.txt

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
+)