changeset 9228 | a001ecdf8314 |
parent 9227 | c02e081ba481 |
child 9229 | 5d5c5cbe7681 |
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) |