diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-06-15 19:33:04 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 07368b6c38112763ea727324403fe29269405d55 (patch) | |
tree | ccb7fe0db51b5c3e39ac702296de7aad38881c3d /cmake/FindGMP.cmake | |
parent | 61572fe01f0fcfe3c9c96811ec3572ad7e572189 (diff) |
cmake: .cpp generation done, .h generation not yet complete
Diffstat (limited to 'cmake/FindGMP.cmake')
-rw-r--r-- | cmake/FindGMP.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cmake/FindGMP.cmake b/cmake/FindGMP.cmake index 4325f666e..2d7b9b64a 100644 --- a/cmake/FindGMP.cmake +++ b/cmake/FindGMP.cmake @@ -1,4 +1,4 @@ -# Try to find the GMP librairies +# Find GMP # GMP_FOUND - system has GMP lib # GMP_INCLUDE_DIR - the GMP include directory # GMP_LIBRARIES - Libraries needed to use GMP |