From 5ae732d2419ead72547bac40ef616a28e180a0e5 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Wed, 22 Jul 2020 10:23:30 +0200
Subject: [PATCH] Trivial fix: MPFI needs MPFR

---
 Installation/cmake/modules/FindMPFI.cmake | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Installation/cmake/modules/FindMPFI.cmake b/Installation/cmake/modules/FindMPFI.cmake
index 2b0f903ea2d..d6822ed9579 100644
--- a/Installation/cmake/modules/FindMPFI.cmake
+++ b/Installation/cmake/modules/FindMPFI.cmake
@@ -1,4 +1,5 @@
 find_package( GMP QUIET )
+find_package( MPFR QUIET )
 
 if( GMP_FOUND AND MPFR_FOUND )