From a09e4d51b4cae05b9f72e57b96acbbd784361b91 Mon Sep 17 00:00:00 2001 From: "Diego F. Aranha" Date: Thu, 9 May 2024 18:45:15 +0200 Subject: [PATCH] Reduce details. --- cmake/gmp.cmake | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/cmake/gmp.cmake b/cmake/gmp.cmake index 9ba93946c..2f4641ea4 100644 --- a/cmake/gmp.cmake +++ b/cmake/gmp.cmake @@ -61,15 +61,7 @@ endif() if(GMP_FOUND) message(STATUS "Configured GMP: -I${GMP_INCLUDE_DIR} -L${GMP_LIBRARIES}") else(GMP_FOUND) - if(NOT EXISTS "/usr/include/gmp.h") - message(STATUS "Could NOT find GMP headers") - endif() - if(NOT EXISTS "/mingw64/include/gmp.h") - message(STATUS "Could NOT find GMP headers") - endif() - if(NOT GMP_LIBRARIES) - message(STATUS "Could NOT find GMP library") - endif() + message(STATUS "Could NOT find GMP!") endif(GMP_FOUND) mark_as_advanced(GMP_INCLUDE_DIR GMP_LIBRARIES)