| author | "Benoît Thébaudeau" <benoit.thebaudeau@advansee.com> |
| Mon Apr 16 15:25:36 2012 +0200 (2012-04-16) | |
| changeset 2941 | 13e40098fffc |
| parent 2758 | 47199f966983 |
| child 2957 | 3e2f2100a76d |
| 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
49 config CLOOG_0_15_1x
50 bool
51 select CLOOG_NEEDS_AUTORECONF
53 config CLOOG_NEEDS_AUTORECONF
54 bool