author | "Benoît Thébaudeau" <benoit.thebaudeau@advansee.com> |
Mon Dec 12 13:25:11 2011 +0100 (2011-12-12) | |
changeset 2802 | e98c6a720ce8 |
parent 2435 | da167ec304be |
child 2853 | 5182fa901f30 |
permissions | -rw-r--r-- |
1 # CLooG options
3 choice
4 bool
5 prompt "CLooG/ppl version"
6 # Don't remove next line
7 # CT_INSERT_VERSION_BELOW
9 config CLOOG_V_0_15_11
10 bool
11 prompt "0.15.11 (EXPERIMENTAL)"
12 depends on EXPERIMENTAL
13 select CLOOG_0_15_1x
15 config CLOOG_V_0_15_10
16 bool
17 prompt "0.15.10"
18 select CLOOG_0_15_1x
20 config CLOOG_V_0_15_9
21 bool
22 prompt "0.15.9"
24 config CLOOG_V_0_15_8
25 bool
26 prompt "0.15.8"
28 config CLOOG_V_0_15_7
29 bool
30 prompt "0.15.7"
32 config CLOOG_V_0_15_6
33 bool
34 prompt "0.15.6"
36 endchoice
38 config CLOOG_VERSION
39 string
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
52 config CLOOG_0_15_1x
53 bool
54 select CLOOG_NEEDS_AUTORECONF
56 config CLOOG_NEEDS_AUTORECONF
57 bool