diff options
Diffstat (limited to 'cmake/Modules/FindGmp.cmake')
| -rw-r--r-- | cmake/Modules/FindGmp.cmake | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cmake/Modules/FindGmp.cmake b/cmake/Modules/FindGmp.cmake index d0ccd3cd..8711d68e 100644 --- a/cmake/Modules/FindGmp.cmake +++ b/cmake/Modules/FindGmp.cmake @@ -11,3 +11,7 @@ if(NOT GMP_FOUND) find_library(GMP_LIBRARIES NAMES gmp) find_package_handle_standard_args(GMP DEFAULT_MSG GMP_LIBRARIES GMP_INCLUDE_DIRS) endif() + +if(Gmp_FIND_REQUIRED AND NOT GMP_FOUND) + message(FATAL_ERROR "Could not find GMP") +endif() |