5 prompt "CLooG/ppl version"
11 # CT_INSERT_VERSION_ABOVE
12 # Don't remove above line!
17 default "0.15.3" if CLOOG_V_0_15_3
18 # CT_INSERT_VERSION_STRING_ABOVE
19 # Don't remove above line!
23 prompt "Check CLooG (!!! README !!!)"
26 It is highly recommended to check the newly built CLooG library.
27 Unfortunately, this is a very intensive task, and takes a loooong time.
29 Checking CLooG is thus disabled by default.
31 If you suspect that your CLooG library is the cause for incorrectly
32 generated code, you should answer 'Y' here.