Merge pull request #153 from jasmin-j/mpfr_3_1_3

Support mpfr V 3.1.3
This commit is contained in:
Bryan Hundven 2015-09-05 16:30:26 -07:00
commit d803bcb819

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