Permalink
Browse files

Fix libgmp detection (#7488)

  • Loading branch information...
mazocomp authored and nerzhul committed Jun 26, 2018
1 parent e4e95e4 commit ae8ae6c9062cde3f8bc388f4ab23c6ff65b5af40
Showing with 1 addition and 1 deletion.
  1. +1 −1 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)

0 comments on commit ae8ae6c

Please sign in to comment.