author | Joachim Nilsson <jocke@vmlinux.org> |
Thu Jan 14 23:06:48 2010 +0100 (2010-01-14) | |
changeset 1737 | e034c377c89d |
parent 1535 | 073d351bdcd3 |
child 1873 | 4477403726db |
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_7
10 bool
11 prompt "0.15.7"
13 config CLOOG_V_0_15_6
14 bool
15 prompt "0.15.6"
17 config CLOOG_V_0_15_5
18 bool
19 prompt "0.15.5 (OBSOLETE)"
20 depends on OBSOLETE
22 config CLOOG_V_0_15_4
23 bool
24 prompt "0.15.4 (OBSOLETE)"
25 depends on OBSOLETE
27 config CLOOG_V_0_15_3
28 bool
29 prompt "0.15.3 (OBSOLETE)"
30 depends on OBSOLETE
32 endchoice
34 config CLOOG_VERSION
35 string
36 # Don't remove next line
37 # CT_INSERT_VERSION_STRING_BELOW
38 default "0.15.7" if CLOOG_V_0_15_7
39 default "0.15.6" if CLOOG_V_0_15_6
40 default "0.15.5" if CLOOG_V_0_15_5
41 default "0.15.4" if CLOOG_V_0_15_4
42 default "0.15.3" if CLOOG_V_0_15_3