From 24ff0f2d36255eccbfd078e9212ecc1b9e7a23de Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Sat, 1 Oct 2022 21:48:27 +0100
Subject: [PATCH] attempt to fix cmake build

---
 src/api/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

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
 )