From 8dab224137b94b42d58325e7d07f0c2b6a8be1ae Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Mon, 5 Aug 2013 19:16:52 -0700
Subject: [PATCH] Fix CMakeLists.txt

---
 src/CMakeLists.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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