mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2025-01-05 04:24:12 +00:00
34 lines
751 B
Plaintext
34 lines
751 B
Plaintext
|
# PPL options
|
||
|
|
|
||
|
|
choice
|
||
|
|
bool
|
||
|
|
prompt "PPL version"
|
||
|
|
|
||
|
|
config PPL_V_0_10_2
|
||
|
|
bool
|
||
|
|
prompt "0.10.2"
|
||
|
|
|
||
|
|
# CT_INSERT_VERSION_ABOVE
|
||
|
|
# Don't remove above line!
|
||
|
|
endchoice
|
||
|
|
|
||
|
|
config PPL_VERSION
|
||
|
|
string
|
||
|
|
default "0.10.2" if PPL_V_0_10_2
|
||
|
|
# CT_INSERT_VERSION_STRING_ABOVE
|
||
|
|
# Don't remove above line!
|
||
|
|
|
||
|
|
config PPL_CHECK
|
||
|
|
bool
|
||
|
|
prompt "Check PPL (!!! README !!!)"
|
||
|
|
default n
|
||
|
|
help
|
||
|
|
Checking PPL is very intensive and takes a loooong time.
|
||
|
|
The PPL folks do not recommend checking the library, but they do
|
||
|
|
not recommend not checking it, either.
|
||
|
|
|
||
|
|
Checking PPL is thus disabled by default.
|
||
|
|
|
||
|
|
If you suspect that your PPL library is the cause for incorrectly
|
||
|
|
generated code, you should answer 'Y' here.
|