blob: d8f5906f19de42ee5888b726f1126c1eb86fc1c0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
# 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.
|
