yann@1384: # MPC options yann@1384: yann@1384: choice yann@1384: bool yann@1384: prompt "MPC version" yann@1384: yann@1384: config MPC_V_0_6 yann@1384: bool yann@1384: prompt "0.6" yann@1384: yann@1384: # CT_INSERT_VERSION_ABOVE yann@1384: # Don't remove above line! yann@1384: endchoice yann@1384: yann@1384: config MPC_VERSION yann@1384: string yann@1384: default "0.6" if MPC_V_0_6 yann@1384: # CT_INSERT_VERSION_STRING_ABOVE yann@1384: # Don't remove above line! yann@1384: yann@1384: config MPC_CHECK yann@1384: bool yann@1384: prompt "Check MPC (!!! README !!!)" yann@1384: default n yann@1384: help yann@1384: It is highly recommended to check the newly built MPC library. yann@1384: Unfortunately, this is a very intensive task, and takes a loooong time. yann@1384: yann@1384: Checking MPC is thus disabled by default. yann@1384: yann@1384: If you suspect that your MPC library is the cause for incorrectly yann@1384: generated code, you should answer 'Y' here.