summaryrefslogtreecommitdiff
path: root/config/companion_libs/mpc.in
diff options
context:
space:
mode:
Diffstat (limited to 'config/companion_libs/mpc.in')
-rw-r--r--config/companion_libs/mpc.in32
1 files changed, 32 insertions, 0 deletions
diff --git a/config/companion_libs/mpc.in b/config/companion_libs/mpc.in
new file mode 100644
index 0000000..7ff2c26
--- /dev/null
+++ b/config/companion_libs/mpc.in
@@ -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.