From 423c42ef9436e12f7ed773fb65a0839024b4abde Mon Sep 17 00:00:00 2001
From: Michael Hoffmann <hoffmann@inf.ethz.ch>
Date: Tue, 18 Apr 2006 09:55:19 +0000
Subject: [PATCH] Re-separated them.

---
 .gitattributes                       |  1 +
 Installation/config/support/S20-GMP  |  5 ++---
 Installation/config/support/S23-MPFR | 15 +++++++++++++++
 3 files changed, 18 insertions(+), 3 deletions(-)
 create mode 100644 Installation/config/support/S23-MPFR

diff --git a/.gitattributes b/.gitattributes
index 8917bfd3cdd..0e7b67c22d6 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -490,6 +490,7 @@ Installation/config/support/S11-TAUCSMS -text
 Installation/config/support/S15-X11 -text
 Installation/config/support/S20-GMP -text
 Installation/config/support/S21-GMPXX -text
+Installation/config/support/S23-MPFR -text
 Installation/config/support/S30-CORE -text
 Installation/config/support/S32-CGALCORE -text
 Installation/config/support/S40-ZLIB -text
diff --git a/Installation/config/support/S20-GMP b/Installation/config/support/S20-GMP
index d6341711bc5..5f9214037fa 100644
--- a/Installation/config/support/S20-GMP
+++ b/Installation/config/support/S20-GMP
@@ -1,11 +1,10 @@
 # GNU Multiple Precision Arithmetic Library (http://www.swox.com/gmp/)
-# Within CGAL, we also need MPFR (http://www.mpfr.org/)
 
 DESCRIPTION = 
-PROVIDES = GMP MPFR
+PROVIDES = GMP
 CXXFLAGS = 
 LDFLAGS = 
-LIBS = mpfr gmp
+LIBS = gmp
 REQUIRES =
 INCOMPATIBLE = 
 STDINCLDIRS = 
diff --git a/Installation/config/support/S23-MPFR b/Installation/config/support/S23-MPFR
new file mode 100644
index 00000000000..0b6a559fec5
--- /dev/null
+++ b/Installation/config/support/S23-MPFR
@@ -0,0 +1,15 @@
+# multiple-precision floating-point computations with exact rounding (http://www.mpfr.org/)
+
+DESCRIPTION = 
+PROVIDES = MPFR
+CXXFLAGS = 
+LDFLAGS = 
+LIBS = mpfr
+REQUIRES = GMP
+INCOMPATIBLE = 
+STDINCLDIRS = 
+INCLTHING = 
+STDLIBDIRS = 
+LIBTHING = 
+
+# EOF