From 0329fd951a75cdf6f35c4681615b3aa914897bcf Mon Sep 17 00:00:00 2001
From: "Erik M. Bray" <erik.bray@lri.fr>
Date: Fri, 10 May 2019 11:29:10 +0000
Subject: [PATCH] Add one missing SAGE_CONFIGURE_MPFR, for building gcc

---
 build/pkgs/gcc/build-gcc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/pkgs/gcc/build-gcc b/build/pkgs/gcc/build-gcc
index 177052da3a3..d00edaf74e5 100755
--- a/build/pkgs/gcc/build-gcc
+++ b/build/pkgs/gcc/build-gcc
@@ -61,7 +61,7 @@ fi
 ../src/configure \
     --prefix="$SAGE_LOCAL" \
     --with-local-prefix="$SAGE_LOCAL" \
-    $SAGE_CONFIGURE_GMP --with-mpfr="$SAGE_LOCAL" --with-mpc="$SAGE_LOCAL" \
+    $SAGE_CONFIGURE_GMP $SAGE_CONFIGURE_MPFR --with-mpc="$SAGE_LOCAL" \
     --with-system-zlib \
     --disable-multilib \
     --disable-nls \