cmake_modules/FindGMP.cmake
changeset 9234 2bf3796c5855
parent 9195 e653e96b0ec3
parent 9233 a6ae0286787c
child 9235 1c1580c37876
equal deleted inserted replaced
9195:e653e96b0ec3 9234:2bf3796c5855
     1 FIND_PATH(GMP_INCLUDE_DIR gmp.h)
       
     2 
       
     3 FIND_LIBRARY(GMP_LIBRARY NAMES GMP gmp)
       
     4 
       
     5 IF (GMP_INCLUDE_DIR AND GMP_LIBRARY)
       
     6    SET(GMP_FOUND TRUE)
       
     7    ENDIF (GMP_INCLUDE_DIR AND GMP_LIBRARY)
       
     8 
       
     9    IF (GMP_FOUND)
       
    10       IF (NOT GMP_FIND_QUIETLY)
       
    11             MESSAGE(STATUS "Found GMP: ${GMP_LIBRARY}")
       
    12       ENDIF (NOT GMP_FIND_QUIETLY)
       
    13    ELSE (GMP_FOUND)
       
    14    IF (GMP_FIND_REQUIRED)
       
    15       MESSAGE(FATAL_ERROR "Could not find GMP")
       
    16    ENDIF (GMP_FIND_REQUIRED)
       
    17 ENDIF (GMP_FOUND)