yann@1380: # CLooG options
yann@1380: 
yann@1380: choice
yann@1380:     bool
yann@1380:     prompt "CLooG/ppl version"
yann@1380: 
yann@1380: config CLOOG_V_0_15_3
yann@1380:     bool
yann@1380:     prompt "0.15.3"
yann@1380: 
yann@1380: # CT_INSERT_VERSION_ABOVE
yann@1380: # Don't remove above line!
yann@1380: endchoice
yann@1380: 
yann@1380: config CLOOG_VERSION
yann@1380:     string
yann@1380:     default "0.15.3" if CLOOG_V_0_15_3
yann@1380: # CT_INSERT_VERSION_STRING_ABOVE
yann@1380: # Don't remove above line!