1.1 --- a/config/companion_libs/cloog.in Sun May 24 22:04:14 2009 +0000
1.2 +++ b/config/companion_libs/cloog.in Sun Aug 02 23:33:37 2009 +0200
1.3 @@ -17,16 +17,3 @@
1.4 default "0.15.3" if CLOOG_V_0_15_3
1.5 # CT_INSERT_VERSION_STRING_ABOVE
1.6 # Don't remove above line!
1.7 -
1.8 -config CLOOG_CHECK
1.9 - bool
1.10 - prompt "Check CLooG (!!! README !!!)"
1.11 - default n
1.12 - help
1.13 - It is highly recommended to check the newly built CLooG library.
1.14 - Unfortunately, this is a very intensive task, and takes a loooong time.
1.15 -
1.16 - Checking CLooG is thus disabled by default.
1.17 -
1.18 - If you suspect that your CLooG library is the cause for incorrectly
1.19 - generated code, you should answer 'Y' here.