2008-04-30 10:43:41 +00:00
|
|
|
# GMP options
|
|
|
|
|
|
|
|
choice
|
|
|
|
bool
|
|
|
|
prompt "GMP 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
|
|
|
|
2014-06-11 22:09:54 +00:00
|
|
|
config GMP_V_6_0_0
|
|
|
|
bool
|
|
|
|
prompt "6.0.0a"
|
2014-12-23 21:28:26 +00:00
|
|
|
select GMP_5_0_2_or_later
|
2014-06-11 22:09:54 +00:00
|
|
|
|
2014-02-09 21:23:59 +00:00
|
|
|
config GMP_V_5_1_3
|
|
|
|
bool
|
|
|
|
prompt "5.1.3"
|
2014-12-23 21:28:26 +00:00
|
|
|
select GMP_5_0_2_or_later
|
2014-02-09 21:23:59 +00:00
|
|
|
|
2013-04-26 12:30:05 +00:00
|
|
|
config GMP_V_5_1_1
|
|
|
|
bool
|
|
|
|
prompt "5.1.1"
|
2014-12-23 21:28:26 +00:00
|
|
|
select GMP_5_0_2_or_later
|
2013-04-26 12:30:05 +00:00
|
|
|
|
2011-08-30 17:38:10 +00:00
|
|
|
config GMP_V_5_0_2
|
|
|
|
bool
|
2012-05-02 19:09:29 +00:00
|
|
|
prompt "5.0.2"
|
2014-12-23 21:28:26 +00:00
|
|
|
select GMP_5_0_2_or_later
|
2011-08-30 17:38:10 +00:00
|
|
|
|
2010-03-30 20:31:49 +00:00
|
|
|
config GMP_V_5_0_1
|
|
|
|
bool
|
2012-05-02 19:09:29 +00:00
|
|
|
prompt "5.0.1"
|
2010-03-30 20:31:49 +00:00
|
|
|
|
|
|
|
config GMP_V_4_3_2
|
|
|
|
bool
|
|
|
|
prompt "4.3.2"
|
|
|
|
|
2009-09-13 15:51:33 +00:00
|
|
|
config GMP_V_4_3_1
|
2008-10-05 12:32:42 +00:00
|
|
|
bool
|
2009-09-13 15:51:33 +00:00
|
|
|
prompt "4.3.1"
|
2008-10-05 12:32:42 +00:00
|
|
|
|
2009-08-02 21:33:37 +00:00
|
|
|
config GMP_V_4_3_0
|
|
|
|
bool
|
|
|
|
prompt "4.3.0"
|
|
|
|
|
2008-04-30 10:43:41 +00:00
|
|
|
endchoice
|
|
|
|
|
2014-12-23 21:28:26 +00:00
|
|
|
# To disable --enable-mpbsd
|
|
|
|
config GMP_5_0_2_or_later
|
|
|
|
bool
|
|
|
|
|
2008-04-30 10:43:41 +00:00
|
|
|
config GMP_VERSION
|
|
|
|
string
|
2009-09-13 16:38:06 +00:00
|
|
|
# Don't remove next line
|
|
|
|
# CT_INSERT_VERSION_STRING_BELOW
|
2014-06-11 22:09:54 +00:00
|
|
|
default "6.0.0a" if GMP_V_6_0_0
|
2014-02-09 21:23:59 +00:00
|
|
|
default "5.1.3" if GMP_V_5_1_3
|
2013-04-26 12:30:05 +00:00
|
|
|
default "5.1.1" if GMP_V_5_1_1
|
2011-08-30 17:38:10 +00:00
|
|
|
default "5.0.2" if GMP_V_5_0_2
|
2010-03-30 20:31:49 +00:00
|
|
|
default "5.0.1" if GMP_V_5_0_1
|
|
|
|
default "4.3.2" if GMP_V_4_3_2
|
2009-08-02 21:33:37 +00:00
|
|
|
default "4.3.1" if GMP_V_4_3_1
|
2009-09-13 15:51:33 +00:00
|
|
|
default "4.3.0" if GMP_V_4_3_0
|