mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2024-12-20 13:23:08 +00:00
28 lines
489 B
Plaintext
28 lines
489 B
Plaintext
|
# GMP options
|
||
|
|
||
|
choice
|
||
|
bool
|
||
|
prompt "GMP version"
|
||
|
|
||
|
config GMP_V_4_2_2
|
||
|
bool
|
||
|
prompt "4.2.2"
|
||
|
|
||
|
# CT_INSERT_VERSION_ABOVE
|
||
|
# Don't remove above line!
|
||
|
endchoice
|
||
|
|
||
|
config GMP_VERSION
|
||
|
string
|
||
|
default "4.2.2" if GMP_V_4_2_2
|
||
|
# CT_INSERT_VERSION_STRING_ABOVE
|
||
|
# Don't remove above line!
|
||
|
|
||
|
config GMP_CHECK
|
||
|
bool
|
||
|
prompt "Check GMP"
|
||
|
default y
|
||
|
help
|
||
|
It is highly recommended that 'make check' is run against the newly built
|
||
|
GMP library. See http://gmplib.org/
|