From 5f451182f771975796e67093cc1fbbdd6750c18d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 22 Dec 2023 12:02:24 -0800
Subject: [PATCH] missing cmake list

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/sls/CMakeLists.txt | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 src/ast/sls/CMakeLists.txt

diff --git a/src/ast/sls/CMakeLists.txt b/src/ast/sls/CMakeLists.txt
new file mode 100644
index 00000000000..d3147b83a14
--- /dev/null
+++ b/src/ast/sls/CMakeLists.txt
@@ -0,0 +1,8 @@
+z3_add_component(ast_sls
+  SOURCES
+    bvsls_opt_engine.cpp
+    sls_engine.cpp    
+  COMPONENT_DEPENDENCIES
+    ast
+    converters
+)