need gmp version

This commit is contained in:
Eric Berberich 2012-01-21 16:41:12 +00:00
parent 76cfe2ae9b
commit f2eef3c11b
1 changed files with 2 additions and 0 deletions

View File

@ -25,6 +25,8 @@ if( MPFI_FOUND )
PATHS ENV RS_LIB_DIR
DOC "Path to the RS library"
)
get_dependency_version( GMP )
IS_VERSION_LESS("$GMP_VERSION}" "4.2.0" _IS_GMP_VERSION_TO_LOW)