yann@1380: # CLooG options
yann@1380: 
yann@1380: choice
yann@1380:     bool
yann@3218:     prompt "CLooG version"
yann@3218: 
yann@3218: if ISL
yann@3218: 
yann@1535: # Don't remove next line
yann@1535: # CT_INSERT_VERSION_BELOW
yann@1380: 
danielrubiob@3285: config CLOOG_V_0_18_1
danielrubiob@3285:     bool
danielrubiob@3285:     prompt "0.18.1"
danielrubiob@3285:     select CLOOG_0_18_or_later
danielrubiob@3285: 
yann@3218: config CLOOG_V_0_18_0
yann@3218:     bool
yann@3218:     prompt "0.18.0"
yann@3218:     select CLOOG_0_18_or_later
yann@3218: 
yann@3218: endif # ISL
yann@3218: 
yann@3218: if PPL
yann@3218: 
yann@2435: config CLOOG_V_0_15_11
yann@2435:     bool
yann@2957:     prompt "0.15.11"
yann@3324:     select CLOOG_NEEDS_AUTORECONF
yann@1534: 
yann@3218: endif # PPL
yann@3218: 
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
danielrubiob@3285:     default "0.18.1" if CLOOG_V_0_18_1
yann@3218:     default "0.18.0" if CLOOG_V_0_18_0
yann@2435:     default "0.15.11" if CLOOG_V_0_15_11
yann@2758: 
yann@3218: config CLOOG_0_18_or_later
yann@3218:     bool
yann@3218: 
yann@2758: config CLOOG_NEEDS_AUTORECONF
yann@2758:     bool