2008-04-30 10:43:41 +00:00
|
|
|
# GMP options
|
|
|
|
|
|
|
|
choice
|
|
|
|
bool
|
|
|
|
prompt "MPFR version"
|
2009-09-13 16:38:06 +00:00
|
|
|
# Don't remove next line
|
|
|
|
# CT_INSERT_VERSION_BELOW
|
2008-04-30 10:43:41 +00:00
|
|
|
|
2016-12-23 21:25:33 +00:00
|
|
|
config MPFR_V_3_1_5
|
|
|
|
bool
|
|
|
|
prompt "3.1.5"
|
|
|
|
|
2015-08-29 09:44:22 +00:00
|
|
|
config MPFR_V_3_1_3
|
|
|
|
bool
|
|
|
|
prompt "3.1.3"
|
|
|
|
|
2013-04-26 12:30:34 +00:00
|
|
|
config MPFR_V_3_1_2
|
|
|
|
bool
|
|
|
|
prompt "3.1.2"
|
|
|
|
|
2011-10-16 12:38:52 +00:00
|
|
|
config MPFR_V_3_1_0
|
|
|
|
bool
|
2012-05-02 19:09:29 +00:00
|
|
|
prompt "3.1.0"
|
2011-10-16 12:38:52 +00:00
|
|
|
|
2011-04-30 12:38:44 +00:00
|
|
|
config MPFR_V_3_0_1
|
|
|
|
bool
|
2012-05-02 19:09:29 +00:00
|
|
|
prompt "3.0.1"
|
2011-04-30 12:38:44 +00:00
|
|
|
|
2010-06-13 17:15:53 +00:00
|
|
|
config MPFR_V_3_0_0
|
|
|
|
bool
|
|
|
|
prompt "3.0.0"
|
|
|
|
|
2010-01-06 17:42:41 +00:00
|
|
|
config MPFR_V_2_4_2
|
|
|
|
bool
|
2010-01-31 11:28:52 +00:00
|
|
|
prompt "2.4.2"
|
2010-01-06 17:42:41 +00:00
|
|
|
|
2009-09-13 15:51:33 +00:00
|
|
|
config MPFR_V_2_4_1
|
2008-10-05 12:32:42 +00:00
|
|
|
bool
|
2009-09-13 15:51:33 +00:00
|
|
|
prompt "2.4.1"
|
2008-10-05 12:32:42 +00:00
|
|
|
|
2009-02-02 21:09:42 +00:00
|
|
|
config MPFR_V_2_4_0
|
|
|
|
bool
|
2009-03-08 17:27:02 +00:00
|
|
|
prompt "2.4.0"
|
|
|
|
|
2008-04-30 10:43:41 +00:00
|
|
|
endchoice
|
|
|
|
|
|
|
|
config MPFR_VERSION
|
|
|
|
string
|
2009-09-13 16:38:06 +00:00
|
|
|
# Don't remove next line
|
|
|
|
# CT_INSERT_VERSION_STRING_BELOW
|
2016-12-23 21:25:33 +00:00
|
|
|
default "3.1.5" if MPFR_V_3_1_5
|
2015-08-29 09:44:22 +00:00
|
|
|
default "3.1.3" if MPFR_V_3_1_3
|
2013-04-26 12:30:34 +00:00
|
|
|
default "3.1.2" if MPFR_V_3_1_2
|
2011-10-16 12:38:52 +00:00
|
|
|
default "3.1.0" if MPFR_V_3_1_0
|
2011-04-30 12:38:44 +00:00
|
|
|
default "3.0.1" if MPFR_V_3_0_1
|
2010-06-13 17:15:53 +00:00
|
|
|
default "3.0.0" if MPFR_V_3_0_0
|
2010-01-06 17:42:41 +00:00
|
|
|
default "2.4.2" if MPFR_V_2_4_2
|
2009-03-08 17:27:02 +00:00
|
|
|
default "2.4.1" if MPFR_V_2_4_1
|
2009-09-13 15:51:33 +00:00
|
|
|
default "2.4.0" if MPFR_V_2_4_0
|