1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/config/companion_libs/mpc.in Mon May 25 18:22:26 2009 +0000
1.3 @@ -0,0 +1,32 @@
1.4 +# MPC options
1.5 +
1.6 +choice
1.7 + bool
1.8 + prompt "MPC version"
1.9 +
1.10 +config MPC_V_0_6
1.11 + bool
1.12 + prompt "0.6"
1.13 +
1.14 +# CT_INSERT_VERSION_ABOVE
1.15 +# Don't remove above line!
1.16 +endchoice
1.17 +
1.18 +config MPC_VERSION
1.19 + string
1.20 + default "0.6" if MPC_V_0_6
1.21 +# CT_INSERT_VERSION_STRING_ABOVE
1.22 +# Don't remove above line!
1.23 +
1.24 +config MPC_CHECK
1.25 + bool
1.26 + prompt "Check MPC (!!! README !!!)"
1.27 + default n
1.28 + help
1.29 + It is highly recommended to check the newly built MPC library.
1.30 + Unfortunately, this is a very intensive task, and takes a loooong time.
1.31 +
1.32 + Checking MPC is thus disabled by default.
1.33 +
1.34 + If you suspect that your MPC library is the cause for incorrectly
1.35 + generated code, you should answer 'Y' here.