diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2017-09-11 15:49:22 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 61572fe01f0fcfe3c9c96811ec3572ad7e572189 (patch) | |
tree | 9fc6e45e2910568a118624f0e8b18bd9639b4033 /cmake/FindGMP.cmake | |
parent | 4a0637be2548b2ee4c29873c045246cb36e8d122 (diff) |
cmake: Added initial build infrastructure.
Diffstat (limited to 'cmake/FindGMP.cmake')
-rw-r--r-- | cmake/FindGMP.cmake | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/cmake/FindGMP.cmake b/cmake/FindGMP.cmake new file mode 100644 index 000000000..4325f666e --- /dev/null +++ b/cmake/FindGMP.cmake @@ -0,0 +1,12 @@ +# Try to find the GMP librairies +# GMP_FOUND - system has GMP lib +# GMP_INCLUDE_DIR - the GMP include directory +# GMP_LIBRARIES - Libraries needed to use GMP + +find_path(GMP_INCLUDE_DIR NAMES gmp.h) +find_library(GMP_LIBRARIES NAMES gmp libgmp) + +include(FindPackageHandleStandardArgs) +find_package_handle_standard_args(GMP DEFAULT_MSG GMP_INCLUDE_DIR GMP_LIBRARIES) + +mark_as_advanced(GMP_INCLUDE_DIR GMP_LIBRARIES) |