From f2eef3c11b6aaf892bb2bb99bab7a354d3f46d4c Mon Sep 17 00:00:00 2001
From: Eric Berberich <eric.berberich@cgal.org>
Date: Sat, 21 Jan 2012 16:41:12 +0000
Subject: [PATCH] need gmp version

---
 Installation/cmake/modules/FindRS.cmake | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Installation/cmake/modules/FindRS.cmake b/Installation/cmake/modules/FindRS.cmake
index 0cf3b2323ca..53d531a4810 100644
--- a/Installation/cmake/modules/FindRS.cmake
+++ b/Installation/cmake/modules/FindRS.cmake
@@ -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)