| author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
| Mon Mar 14 22:16:01 2011 +0100 (2011-03-14) | |
| changeset 2335 | 805e9f2a06fa |
| parent 2157 | 715544fc2fe9 |
| child 2435 | da167ec304be |
| 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 endchoice
31 config CLOOG_VERSION
32 string
33 # Don't remove next line
34 # CT_INSERT_VERSION_STRING_BELOW
35 default "0.15.10" if CLOOG_V_0_15_10
36 default "0.15.9" if CLOOG_V_0_15_9
37 default "0.15.8" if CLOOG_V_0_15_8
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