diff -r 000000000000 -r b23f3c2e0c73 config/companion_libs/mpc.in
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/config/companion_libs/mpc.in	Mon May 25 18:22:26 2009 +0000
@@ -0,0 +1,32 @@
+# MPC options
+
+choice
+    bool
+    prompt "MPC version"
+
+config MPC_V_0_6
+    bool
+    prompt "0.6"
+
+# CT_INSERT_VERSION_ABOVE
+# Don't remove above line!
+endchoice
+
+config MPC_VERSION
+    string
+    default "0.6" if MPC_V_0_6
+# CT_INSERT_VERSION_STRING_ABOVE
+# Don't remove above line!
+
+config MPC_CHECK
+    bool
+    prompt "Check MPC (!!! README !!!)"
+    default n
+    help
+      It is highly recommended to check the newly built MPC library.
+      Unfortunately, this is a very intensive task, and takes a loooong time.
+
+      Checking MPC is thus disabled by default.
+
+      If you suspect that your MPC library is the cause for incorrectly
+      generated code, you should answer 'Y' here.