| author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
| Fri Jan 29 22:43:28 2010 +0100 (2010-01-29) | |
| changeset 1755 | 30d91bfc1f2a |
| 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