Reduce details.

relic-toolkit · May 9, 2024 · a09e4d5 · a09e4d5
1 parent a7404b5
commit a09e4d5
Showing 1 changed file with 1 addition and 9 deletions.
diff --git 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)