From fafff0272ae9a1ace822d4f24acb76a06aa7142d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 15 Aug 2023 13:08:47 -0700
Subject: [PATCH] missing make file

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/qe/mbi/Cmakelists.txt | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 src/qe/mbi/Cmakelists.txt

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