diff --git a/src/math/dd/CMakeLists.txt b/src/math/dd/CMakeLists.txt
new file mode 100644
index 000000000..76448c912
--- /dev/null
+++ b/src/math/dd/CMakeLists.txt
@@ -0,0 +1,6 @@
+z3_add_component(dd
+  SOURCES
+    dd_bdd.cpp
+  COMPONENT_DEPENDENCIES
+    util
+)