From c7f061774ab7df8d3ea2716ab2e1af87fee89491 Mon Sep 17 00:00:00 2001
From: Jasmin Jessich <jasmin@anw.at>
Date: Sat, 29 Aug 2015 11:44:22 +0200
Subject: Support mpfr 3.1.3 in configuration.

Signed-off-by: Jasmin Jessich <jasmin@anw.at>

diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in
index d77cd0a..fef50b0 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_3
+    bool
+    prompt "3.1.3"
+
 config MPFR_V_3_1_2
     bool
     prompt "3.1.2"
@@ -40,6 +44,7 @@ config MPFR_VERSION
     string
 # Don't remove next line
 # CT_INSERT_VERSION_STRING_BELOW
+    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
     default "3.0.1" if MPFR_V_3_0_1
-- 
cgit v0.10.2-6-g49f6