| author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
| Sat Mar 20 18:42:34 2010 +0100 (2010-03-20) | |
| branch | 1.6 |
| changeset 1883 | eec58bf93a1c |
| 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