cmake_modules/FindGMP.cmake
changeset 9228 a001ecdf8314
parent 9227 c02e081ba481
child 9229 5d5c5cbe7681
equal deleted inserted replaced
9227:c02e081ba481 9228:a001ecdf8314
     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)