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
14 config CLOOG_V_0_15_10
38 # Don't remove next line
39 # CT_INSERT_VERSION_STRING_BELOW
40 default "0.15.11" if CLOOG_V_0_15_11
41 default "0.15.10" if CLOOG_V_0_15_10
42 default "0.15.9" if CLOOG_V_0_15_9
43 default "0.15.8" if CLOOG_V_0_15_8
44 default "0.15.7" if CLOOG_V_0_15_7
45 default "0.15.6" if CLOOG_V_0_15_6
46 default "0.15.5" if CLOOG_V_0_15_5
47 default "0.15.4" if CLOOG_V_0_15_4
48 default "0.15.3" if CLOOG_V_0_15_3