diff --git a/cmake/detect_dependencies.cmake b/cmake/detect_dependencies.cmake
index c86d3b31473..df5a32c44f1 100644
--- a/cmake/detect_dependencies.cmake
+++ b/cmake/detect_dependencies.cmake
@@ -27,7 +27,7 @@ find_package(Sanitizers REQUIRED)
 # ###############################
 # ####   Bitwuzla
 # ###############################
-pkg_check_modules(BITWUZLA REQUIRED bitwuzla)
+pkg_check_modules(BITWUZLA bitwuzla)
 
 # find_package(Bitwuzla)