blob: 44132985f85f15ab74f5012764f974fbc5400b0b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
diff --git a/cmake_local/FindGMP.cmake b/cmake_local/FindGMP.cmake
index e6589ee3..14695fbf 100644
--- a/cmake_local/FindGMP.cmake
+++ b/cmake_local/FindGMP.cmake
@@ -9,7 +9,7 @@
set(GMP_PREFIX "" CACHE PATH "Path to GMP prefix")
find_path(GMP_INCLUDE_DIR gmp.h PATHS ${GMP_PREFIX}/include /usr/include /usr/local/include)
-find_library(GMP_LIBRARY libgmp.a PATHS ${GMP_PREFIX}/lib /usr/lib /usr/local/lib)
+find_library(GMP_LIBRARY libgmp.so PATHS ${GMP_PREFIX}/lib /usr/lib /usr/local/lib)
if(GMP_INCLUDE_DIR AND GMP_LIBRARY)
set(GMP_FOUND TRUE)
|