Support mpfr 3.1.3 in configuration.

Signed-off-by: Jasmin Jessich <jasmin@anw.at>
This commit is contained in:
Jasmin Jessich 2015-08-29 11:44:22 +02:00
parent 094b5be8fd
commit c7f061774a

View File

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