From 6fa7e98ff94a9f9ff2d15138ebebe598d37a36fb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 17 Dec 2019 10:10:14 -0800
Subject: [PATCH] cmake

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

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