From bd14587987b2fdaa81812d095d60dd416faa0430 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Wed, 4 Apr 2018 10:56:53 +0200
Subject: [PATCH] Fix GMPXX

---
 Installation/cmake/modules/FindGMPXX.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Installation/cmake/modules/FindGMPXX.cmake b/Installation/cmake/modules/FindGMPXX.cmake
index f851cd90343..277e4b19ef1 100644
--- a/Installation/cmake/modules/FindGMPXX.cmake
+++ b/Installation/cmake/modules/FindGMPXX.cmake
@@ -10,7 +10,7 @@
 
 find_package( GMP QUIET )
 
-if(WITH_GMP AND GMP_FOUND)
+if(GMP_FOUND)
 
   if (GMPXX_INCLUDE_DIR AND GMPXX_LIBRARIES)
     # Already in cache, be silent