diff --git a/src/qe/mbi/Cmakelists.txt b/src/qe/mbi/Cmakelists.txt
new file mode 100644
index 000000000..275ad7ed7
--- /dev/null
+++ b/src/qe/mbi/Cmakelists.txt
@@ -0,0 +1,7 @@
+z3_add_component(mbi
+  SOURCES
+    qe_mbi.cpp
+  COMPONENT_DEPENDENCIES
+    mbp
+    qe_lite    
+)