5 files changed, 38 insertions, 30 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in
new file mode 100644
index 0000000..99779c9
--- /dev/null
+++ b/config/companion_libs/cloog.in
@@ -0,0 +1,19 @@
+# CLooG options
+
+choice
+    bool
+    prompt "CLooG/ppl version"
+
+config CLOOG_V_0_15_3
+    bool
+    prompt "0.15.3"
+
+# CT_INSERT_VERSION_ABOVE
+# Don't remove above line!
+endchoice
+
+config CLOOG_VERSION
+    string
+    default "0.15.3" if CLOOG_V_0_15_3
+# CT_INSERT_VERSION_STRING_ABOVE
+# Don't remove above line!
diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in
index 0ac2b2c..c4fc246 100644
--- a/config/companion_libs/gmp.in
+++ b/config/companion_libs/gmp.in
@@ -22,11 +22,3 @@ config GMP_VERSION
     default "4.2.4" if GMP_V_4_2_4
 # CT_INSERT_VERSION_STRING_ABOVE
 # Don't remove above line!
-
-config GMP_CHECK
-    bool
-    prompt "Check GMP"
-    default y
-    help
-      It is highly recommended that 'make check' is run against the newly built
-      GMP library. See http://gmplib.org/
diff --git a/config/companion_libs/mpc.in b/config/companion_libs/mpc.in
new file mode 100644
index 0000000..0aa1369
--- /dev/null
+++ b/config/companion_libs/mpc.in
@@ -0,0 +1,19 @@
+# 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!
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in
index dcea326..910ab4e 100644
--- a/config/companion_libs/mpfr.in
+++ b/config/companion_libs/mpfr.in
@@ -32,11 +32,3 @@ config MPFR_VERSION
     default "2.4.1" if MPFR_V_2_4_1
 # CT_INSERT_VERSION_STRING_ABOVE
 # Don't remove above line!
-
-config MPFR_CHECK
-    bool
-    prompt "Check MPFR"
-    default y
-    help
-      It is highly recommended that 'make check' is run against the newly built
-      MPFR library. See http://gmplib.org/
diff --git a/config/companion_libs/ppl.in b/config/companion_libs/ppl.in
index d8f5906..efdeabf 100644
--- a/config/companion_libs/ppl.in
+++ b/config/companion_libs/ppl.in
@@ -17,17 +17,3 @@ config PPL_VERSION
     default "0.10.2" if PPL_V_0_10_2
 # CT_INSERT_VERSION_STRING_ABOVE
 # Don't remove above line!
-
-config PPL_CHECK
-    bool
-    prompt "Check PPL (!!! README !!!)"
-    default n
-    help
-      Checking PPL is very intensive and takes a loooong time.
-      The PPL folks do not recommend checking the library, but they do
-      not recommend not checking it, either.
-      
-      Checking PPL is thus disabled by default.
-      
-      If you suspect that your PPL library is the cause for incorrectly
-      generated code, you should answer 'Y' here.