cmake_modules/FindGMP.cmake
branchwebgl
changeset 9236 ddd675825672
parent 9201 bcf2f7798ebb
parent 9235 1c1580c37876
child 9238 84e591af6c29
equal deleted inserted replaced
9201:bcf2f7798ebb 9236:ddd675825672
     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)