summaryrefslogtreecommitdiff
path: root/config/companion_libs
diff options
context:
space:
mode:
authorBryan Hundven <bryanhundven@gmail.com>2015-09-05 23:30:26 (GMT)
committerBryan Hundven <bryanhundven@gmail.com>2015-09-05 23:30:26 (GMT)
commitd803bcb81955162cf2635d4953f56dc8426e923c (patch)
tree240daa117bbc4bb46fde8d1d609cd9dfe6612b52 /config/companion_libs
parentd2532bc76e5546e77fa573e037cbbee56644e3a1 (diff)
parentc7f061774ab7df8d3ea2716ab2e1af87fee89491 (diff)
Merge pull request #153 from jasmin-j/mpfr_3_1_3
Support mpfr V 3.1.3
Diffstat (limited to 'config/companion_libs')
-rw-r--r--config/companion_libs/mpfr.in5
1 files changed, 5 insertions, 0 deletions
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