Fix libgmp detection (#7488)

This commit is contained in:
Leonid Bobrov 2018-06-26 11:00:33 +03:00 committed by Loïc Blot
parent e4e95e47af
commit ae8ae6c906

@ -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)