Fix libgmp detection (#7488)

diff --git a/cmake/Modules/FindGMP.cmake b/cmake/Modules/FindGMP.cmake
index 64a57cfe07b11f79ca8d32cd2a391fcd9b2d852b..7b45f16c7d7feb985eb47d91a8f5f5129713af7d 100644 (file)
--- a/cmake/Modules/FindGMP.cmake
+++ b/cmake/Modules/FindGMP.cmake
@@ -3,7 +3,7 @@ mark_as_advanced(GMP_LIBRARY GMP_INCLUDE_DIR)
 set(USE_SYSTEM_GMP FALSE)
 
 if(ENABLE_SYSTEM_GMP)
-       find_library(GMP_LIBRARY NAMES libgmp.so)
+       find_library(GMP_LIBRARY NAMES gmp)
        find_path(GMP_INCLUDE_DIR NAMES gmp.h)
 
        if(GMP_LIBRARY AND GMP_INCLUDE_DIR)