5 files changed, 0 insertions, 67 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in
index e67e79f..99779c9 100644
--- a/config/companion_libs/cloog.in
+++ b/config/companion_libs/cloog.in
@@ -17,16 +17,3 @@ config CLOOG_VERSION
     default "0.15.3" if CLOOG_V_0_15_3
 # CT_INSERT_VERSION_STRING_ABOVE
 # Don't remove above line!
-
-config CLOOG_CHECK
-    bool
-    prompt "Check CLooG (!!! README !!!)"
-    default n
-    help
-      It is highly recommended to check the newly built CLooG library.
-      Unfortunately, this is a very intensive task, and takes a loooong time.
-      
-      Checking CLooG is thus disabled by default.
-      
-      If you suspect that your CLooG library is the cause for incorrectly
-      generated code, you should answer 'Y' here.
diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in
index 3690c97..c4fc246 100644
--- a/config/companion_libs/gmp.in
+++ b/config/companion_libs/gmp.in
@@ -22,16 +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 (!!! README !!!)"
-    default n
-    help
-      It is highly recommended to check the newly built GMP library.
-      Unfortunately, this is a very intensive task, and takes a loooong time.
-
-      Checking GMP is thus disabled by default.
-
-      If you suspect that your GMP library is the cause for incorrectly
-      generated code, you should answer 'Y' here.
diff --git a/config/companion_libs/mpc.in b/config/companion_libs/mpc.in
index 7ff2c26..0aa1369 100644
--- a/config/companion_libs/mpc.in
+++ b/config/companion_libs/mpc.in
@@ -17,16 +17,3 @@ config MPC_VERSION
     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.
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in
index 3917c9d..910ab4e 100644
--- a/config/companion_libs/mpfr.in
+++ b/config/companion_libs/mpfr.in
@@ -32,17 +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 (!!! README !!!)"
-    default n
-    help
-      It is highly recommended to check the newly built MPFR library.
-      Unfortunately, this is a very intensive task, and takes a loooong time.
-
-      Checking MPFR is thus disabled by default.
-
-      If you suspect that your MPFR library is the cause for incorrectly
-      generated code, you should answer 'Y' here.
-
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.