diff options
Diffstat (limited to 'cmake')
| -rw-r--r-- | cmake/Modules/FindGmp.cmake | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/cmake/Modules/FindGmp.cmake b/cmake/Modules/FindGmp.cmake index c59f2219..d0ccd3cd 100644 --- a/cmake/Modules/FindGmp.cmake +++ b/cmake/Modules/FindGmp.cmake @@ -2,7 +2,11 @@ find_package(PkgConfig) if (PKG_CONFIG_FOUND) pkg_check_modules(GMP gmp) -else() +endif() + +# Only very recent versions of gmp has pkg-config support, so we have to +# fall back on a more classical search +if(NOT GMP_FOUND) find_path(GMP_INCLUDE_DIRS NAMES gmp.h PATH_SUFFIXES) find_library(GMP_LIBRARIES NAMES gmp) find_package_handle_standard_args(GMP DEFAULT_MSG GMP_LIBRARIES GMP_INCLUDE_DIRS) |