1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/config/companion_libs/cloog.in Sun May 24 22:04:14 2009 +0000
1.3 @@ -0,0 +1,32 @@
1.4 +# CLooG options
1.5 +
1.6 +choice
1.7 + bool
1.8 + prompt "CLooG/ppl version"
1.9 +
1.10 +config CLOOG_V_0_15_3
1.11 + bool
1.12 + prompt "0.15.3"
1.13 +
1.14 +# CT_INSERT_VERSION_ABOVE
1.15 +# Don't remove above line!
1.16 +endchoice
1.17 +
1.18 +config CLOOG_VERSION
1.19 + string
1.20 + default "0.15.3" if CLOOG_V_0_15_3
1.21 +# CT_INSERT_VERSION_STRING_ABOVE
1.22 +# Don't remove above line!
1.23 +
1.24 +config CLOOG_CHECK
1.25 + bool
1.26 + prompt "Check CLooG (!!! README !!!)"
1.27 + default n
1.28 + help
1.29 + It is highly recommended to check the newly built CLooG library.
1.30 + Unfortunately, this is a very intensive task, and takes a loooong time.
1.31 +
1.32 + Checking CLooG is thus disabled by default.
1.33 +
1.34 + If you suspect that your CLooG library is the cause for incorrectly
1.35 + generated code, you should answer 'Y' here.