diff options
Diffstat (limited to 'src/CMakeLists.txt')
| -rw-r--r-- | src/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index b15cfe98..4c0e7507 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -18,7 +18,7 @@ endif() add_definitions(-DBOOST_RESULT_OF_USE_DECLTYPE) find_package(Boost) -find_package(GMP) +find_package(GMP 4.2) if(GMP_FOUND) find_package(GMPXX) endif() |