diff --git a/CMakeLists.txt b/CMakeLists.txt index a8057fa3f99677f9ee507cc9a6ac43fbcd8acfb3..9e5e8ea2c79796faec0802b065f39dc61b86b1d0 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -450,7 +450,7 @@ if(ENABLE_KBIPACK) add_subdirectory(contrib/kbipack) include_directories(contrib/kbipack) set_config_option(HAVE_KBIPACK "Kbipack") - find_library(GMP_LIB NAMES libgmp) + find_library(GMP_LIB NAMES gmp) if(GMP_LIB) set_config_option(HAVE_GMP "GMP") list(APPEND EXTERNAL_LIBRARIES ${GMP_LIB})