yann@1380: # CLooG options
yann@1380: 
yann@1380: choice
yann@1380:     bool
yann@1380:     prompt "CLooG/ppl version"
yann@1535: # Don't remove next line
yann@1535: # CT_INSERT_VERSION_BELOW
yann@1380: 
yann@1873: config CLOOG_V_0_15_9
yann@1873:     bool
yann@1873:     prompt "0.15.9"
yann@1873: 
yann@1873: config CLOOG_V_0_15_8
yann@1873:     bool
yann@1873:     prompt "0.15.8"
yann@1873: 
yann@1534: config CLOOG_V_0_15_7
yann@1380:     bool
yann@1534:     prompt "0.15.7"
yann@1534: 
yann@1534: config CLOOG_V_0_15_6
yann@1534:     bool
yann@1534:     prompt "0.15.6"
yann@1534: 
yann@1534: config CLOOG_V_0_15_5
yann@1534:     bool
yann@1615:     prompt "0.15.5 (OBSOLETE)"
yann@1615:     depends on OBSOLETE
yann@1380: 
yann@1522: config CLOOG_V_0_15_4
yann@1522:     bool
yann@1615:     prompt "0.15.4 (OBSOLETE)"
yann@1615:     depends on OBSOLETE
yann@1522: 
yann@1534: config CLOOG_V_0_15_3
yann@1522:     bool
yann@1615:     prompt "0.15.3 (OBSOLETE)"
yann@1615:     depends on OBSOLETE
yann@1522: 
yann@1380: endchoice
yann@1380: 
yann@1380: config CLOOG_VERSION
yann@1380:     string
yann@1535: # Don't remove next line
yann@1535: # CT_INSERT_VERSION_STRING_BELOW
yann@1873:     default "0.15.9" if CLOOG_V_0_15_9
yann@1873:     default "0.15.8" if CLOOG_V_0_15_8
yann@1534:     default "0.15.7" if CLOOG_V_0_15_7
yann@1534:     default "0.15.6" if CLOOG_V_0_15_6
yann@1534:     default "0.15.5" if CLOOG_V_0_15_5
yann@1534:     default "0.15.4" if CLOOG_V_0_15_4
yann@1380:     default "0.15.3" if CLOOG_V_0_15_3