From ae8ae6c9062cde3f8bc388f4ab23c6ff65b5af40 Mon Sep 17 00:00:00 2001 From: Leonid Bobrov Date: Tue, 26 Jun 2018 11:00:33 +0300 Subject: [PATCH] Fix libgmp detection (#7488) --- cmake/Modules/FindGMP.cmake | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cmake/Modules/FindGMP.cmake b/cmake/Modules/FindGMP.cmake index 64a57cfe0..7b45f16c7 100644 --- 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)