11 # CT_INSERT_VERSION_ABOVE
12 # Don't remove above line!
17 default "0.10.2" if PPL_V_0_10_2
18 # CT_INSERT_VERSION_STRING_ABOVE
19 # Don't remove above line!
23 prompt "Check PPL (!!! README !!!)"
26 Checking PPL is very intensive and takes a loooong time.
27 The PPL folks do not recommend checking the library, but they do
28 not recommend not checking it, either.
30 Checking PPL is thus disabled by default.
32 If you suspect that your PPL library is the cause for incorrectly
33 generated code, you should answer 'Y' here.