diff --git a/CMakeLists.txt b/CMakeLists.txt
index 14acf8be3a6c720d132025cf0138bf4587d4ae07..4ad8c828a8338c5dbf8012f7553479f6bb7938ea 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -430,9 +430,11 @@ if(ENABLE_KBIPACK)
   add_subdirectory(contrib/kbipack)
   find_library(GMP_LIB NAMES libgmp.a libgmp.dll.a)
   if(GMP_LIB)
-    message("-- Found GMP")
+    message("-- Found GMP library")
     set(HAVE_GMP TRUE)
     list(APPEND EXTERNAL_LIBRARIES ${GMP_LIB})
+  else(GMP_LIB)
+    message("-- GMP library not found")
   endif(GMP_LIB)
 endif(ENABLE_KBIPACK)