diff --git a/src/ast/sls/CMakeLists.txt b/src/ast/sls/CMakeLists.txt
new file mode 100644
index 000000000..d3147b83a
--- /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
+)