5 prompt "CLooG/ppl version"
6 # Don't remove next line
7 # CT_INSERT_VERSION_BELOW
11 prompt "0.15.11 (EXPERIMENTAL)"
12 depends on EXPERIMENTAL
15 config CLOOG_V_0_15_10
40 # Don't remove next line
41 # CT_INSERT_VERSION_STRING_BELOW
42 default "0.15.11" if CLOOG_V_0_15_11
43 default "0.15.10" if CLOOG_V_0_15_10
44 default "0.15.9" if CLOOG_V_0_15_9
45 default "0.15.8" if CLOOG_V_0_15_8
46 default "0.15.7" if CLOOG_V_0_15_7
47 default "0.15.6" if CLOOG_V_0_15_6
48 default "0.15.5" if CLOOG_V_0_15_5
49 default "0.15.4" if CLOOG_V_0_15_4
50 default "0.15.3" if CLOOG_V_0_15_3
54 select CLOOG_NEEDS_AUTORECONF
56 config CLOOG_NEEDS_AUTORECONF