mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2024-12-19 12:57:53 +00:00
9b2d5df2cc
Signed-off-by: Daniel Rubio Bonilla <danielrubiob@gmail.com> Message-Id: <e0361ed37146d025171f.1391984021@uemo> Patchwork-Id: 318635
50 lines
788 B
Plaintext
50 lines
788 B
Plaintext
# GMP options
|
|
|
|
choice
|
|
bool
|
|
prompt "GMP version"
|
|
# Don't remove next line
|
|
# CT_INSERT_VERSION_BELOW
|
|
|
|
config GMP_V_5_1_3
|
|
bool
|
|
prompt "5.1.3"
|
|
|
|
config GMP_V_5_1_1
|
|
bool
|
|
prompt "5.1.1"
|
|
|
|
config GMP_V_5_0_2
|
|
bool
|
|
prompt "5.0.2"
|
|
|
|
config GMP_V_5_0_1
|
|
bool
|
|
prompt "5.0.1"
|
|
|
|
config GMP_V_4_3_2
|
|
bool
|
|
prompt "4.3.2"
|
|
|
|
config GMP_V_4_3_1
|
|
bool
|
|
prompt "4.3.1"
|
|
|
|
config GMP_V_4_3_0
|
|
bool
|
|
prompt "4.3.0"
|
|
|
|
endchoice
|
|
|
|
config GMP_VERSION
|
|
string
|
|
# Don't remove next line
|
|
# CT_INSERT_VERSION_STRING_BELOW
|
|
default "5.1.3" if GMP_V_5_1_3
|
|
default "5.1.1" if GMP_V_5_1_1
|
|
default "5.0.2" if GMP_V_5_0_2
|
|
default "5.0.1" if GMP_V_5_0_1
|
|
default "4.3.2" if GMP_V_4_3_2
|
|
default "4.3.1" if GMP_V_4_3_1
|
|
default "4.3.0" if GMP_V_4_3_0
|