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)