yann@1324: # PPL options
yann@1324: 
yann@1324: choice
yann@1324:     bool
yann@1324:     prompt "PPL version"
yann@1324: 
yann@1324: config PPL_V_0_10_2
yann@1324:     bool
yann@1324:     prompt "0.10.2"
yann@1324: 
yann@1324: # CT_INSERT_VERSION_ABOVE
yann@1324: # Don't remove above line!
yann@1324: endchoice
yann@1324: 
yann@1324: config PPL_VERSION
yann@1324:     string
yann@1324:     default "0.10.2" if PPL_V_0_10_2
yann@1324: # CT_INSERT_VERSION_STRING_ABOVE
yann@1324: # Don't remove above line!
yann@1324: 
yann@1324: config PPL_CHECK
yann@1324:     bool
yann@1324:     prompt "Check PPL (!!! README !!!)"
yann@1324:     default n
yann@1324:     help
yann@1324:       Checking PPL is very intensive and takes a loooong time.
yann@1324:       The PPL folks do not recommend checking the library, but they do
yann@1324:       not recommend not checking it, either.
yann@1324:       
yann@1324:       Checking PPL is thus disabled by default.
yann@1324:       
yann@1324:       If you suspect that your PPL library is the cause for incorrectly
yann@1324:       generated code, you should answer 'Y' here.