author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
Wed Nov 03 19:11:24 2010 +0100 (2010-11-03) | |
branch | 1.9 |
changeset 2176 | 2a721fd0e8e2 |
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