diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 5217ee9ae..ec4e539c2 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -30,10 +30,11 @@ else ()
 endif ()
 
 # GMP
+find_package(GMP)
 set(EXTRA_LIBS ${EXTRA_LIBS} ${GMP_LIBRARIES})
 
 # MPFR
-find_package(MPFR 2.3.0)
+find_package(MPFR 3.1.0)
 set(EXTRA_LIBS ${EXTRA_LIBS} ${MPFR_LIBRARIES})
 
 # Flex and Bison