| author | Bart vdr Meulen <bartvdrmeulen@gmail.com> |
| Sun Jul 11 21:37:29 2010 +0200 (2010-07-11) | |
| changeset 2019 | 235d1aa16e00 |
| parent 1615 | 50b25816f5bb |
| child 2157 | 715544fc2fe9 |
| 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_9
10 bool
11 prompt "0.15.9"
13 config CLOOG_V_0_15_8
14 bool
15 prompt "0.15.8"
17 config CLOOG_V_0_15_7
18 bool
19 prompt "0.15.7"
21 config CLOOG_V_0_15_6
22 bool
23 prompt "0.15.6"
25 config CLOOG_V_0_15_5
26 bool
27 prompt "0.15.5 (OBSOLETE)"
28 depends on OBSOLETE
30 config CLOOG_V_0_15_4
31 bool
32 prompt "0.15.4 (OBSOLETE)"
33 depends on OBSOLETE
35 config CLOOG_V_0_15_3
36 bool
37 prompt "0.15.3 (OBSOLETE)"
38 depends on OBSOLETE
40 endchoice
42 config CLOOG_VERSION
43 string
44 # Don't remove next line
45 # CT_INSERT_VERSION_STRING_BELOW
46 default "0.15.9" if CLOOG_V_0_15_9
47 default "0.15.8" if CLOOG_V_0_15_8
48 default "0.15.7" if CLOOG_V_0_15_7
49 default "0.15.6" if CLOOG_V_0_15_6
50 default "0.15.5" if CLOOG_V_0_15_5
51 default "0.15.4" if CLOOG_V_0_15_4
52 default "0.15.3" if CLOOG_V_0_15_3