From 5651c56ec39135dadfc3fb61d3f97f891f8d9ac0 Mon Sep 17 00:00:00 2001
From: Alastair D'Silva <alastair@d-silva.org>
Date: Sat, 24 Dec 2016 08:25:33 +1100
Subject: Bump MPFR to 3.1.5

Signed-off-by: Alastair D'Silva <alastair@d-silva.org>

diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in
index fef50b0..5957e23 100644
--- a/config/companion_libs/mpfr.in
+++ b/config/companion_libs/mpfr.in
@@ -6,6 +6,10 @@ choice
 # Don't remove next line
 # CT_INSERT_VERSION_BELOW
 
+config MPFR_V_3_1_5
+    bool
+    prompt "3.1.5"
+
 config MPFR_V_3_1_3
     bool
     prompt "3.1.3"
@@ -44,6 +48,7 @@ config MPFR_VERSION
     string
 # Don't remove next line
 # CT_INSERT_VERSION_STRING_BELOW
+    default "3.1.5" if MPFR_V_3_1_5
     default "3.1.3" if MPFR_V_3_1_3
     default "3.1.2" if MPFR_V_3_1_2
     default "3.1.0" if MPFR_V_3_1_0
-- 
cgit v0.10.2-6-g49f6