# 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.