File 0005-CMakeLists-no-quiet-when-finding.patch of Package metasmt

From 51927033c21fd9f70deb6a89b5623cb7aadbf84a Mon Sep 17 00:00:00 2001
From: Jiri Slaby <jslaby@suse.cz>
Date: Sat, 25 Feb 2017 14:05:55 +0100
Subject: [PATCH 5/5] CMakeLists: no quiet when finding

Signed-off-by: Jiri Slaby <jslaby@suse.cz>
---
 CMakeLists.txt |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -96,7 +96,7 @@ endif()
 set_package_info(Boolector "solver for SMT QF_BV and Arrays")
 
 if (metaSMT_USE_Z3)
-  find_package(Z3 QUIET)
+  find_package(Z3)
 else()
   set(Z3_FOUND 0)
 endif()
@@ -110,7 +110,7 @@ endif()
 set_package_info(YICES2 "solver for various SMT theories")
 
 if(metaSMT_USE_STP)
-  find_package(STP QUIET)
+  find_package(STP)
 else()
   set(STP_FOUND 0)
 endif()