summaryrefslogtreecommitdiff
path: root/cmake/FindGMP.cmake
diff options
context:
space:
mode:
authorAina Niemetz <aina.niemetz@gmail.com>2017-09-11 15:49:22 -0700
committerMathias Preiner <mathias.preiner@gmail.com>2018-09-22 16:30:59 -0700
commit61572fe01f0fcfe3c9c96811ec3572ad7e572189 (patch)
tree9fc6e45e2910568a118624f0e8b18bd9639b4033 /cmake/FindGMP.cmake
parent4a0637be2548b2ee4c29873c045246cb36e8d122 (diff)
cmake: Added initial build infrastructure.
Diffstat (limited to 'cmake/FindGMP.cmake')
-rw-r--r--cmake/FindGMP.cmake12
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)
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback