diff --git a/src/api/CMakeLists.txt b/src/api/CMakeLists.txt
index 08ea9ce29..5cc604f15 100644
--- a/src/api/CMakeLists.txt
+++ b/src/api/CMakeLists.txt
@@ -68,4 +68,5 @@ z3_add_component(api
     opt
     portfolio
     realclosure
+    extra_cmds
 )