Bump MPFR to 3.1.5

Signed-off-by: Alastair D'Silva <alastair@d-silva.org>
This commit is contained in:
Alastair D'Silva 2016-12-24 08:25:33 +11:00
parent 3c981f9dc5
commit 5651c56ec3

View File

@ -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