| author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
| Sat Oct 23 01:21:20 2010 +0200 (2010-10-23) | |
| changeset 2167 | 9cd8ee461fd0 |
| parent 1873 | 4477403726db |
| child 2206 | 2b5f5173daa0 |
| 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_10
10 bool
11 prompt "0.15.10"
13 config CLOOG_V_0_15_9
14 bool
15 prompt "0.15.9"
17 config CLOOG_V_0_15_8
18 bool
19 prompt "0.15.8"
21 config CLOOG_V_0_15_7
22 bool
23 prompt "0.15.7"
25 config CLOOG_V_0_15_6
26 bool
27 prompt "0.15.6"
29 config CLOOG_V_0_15_5
30 bool
31 prompt "0.15.5 (OBSOLETE)"
32 depends on OBSOLETE
34 config CLOOG_V_0_15_4
35 bool
36 prompt "0.15.4 (OBSOLETE)"
37 depends on OBSOLETE
39 config CLOOG_V_0_15_3
40 bool
41 prompt "0.15.3 (OBSOLETE)"
42 depends on OBSOLETE
44 endchoice
46 config CLOOG_VERSION
47 string
48 # Don't remove next line
49 # CT_INSERT_VERSION_STRING_BELOW
50 default "0.15.10" if CLOOG_V_0_15_10
51 default "0.15.9" if CLOOG_V_0_15_9
52 default "0.15.8" if CLOOG_V_0_15_8
53 default "0.15.7" if CLOOG_V_0_15_7
54 default "0.15.6" if CLOOG_V_0_15_6
55 default "0.15.5" if CLOOG_V_0_15_5
56 default "0.15.4" if CLOOG_V_0_15_4
57 default "0.15.3" if CLOOG_V_0_15_3