author | Kalle Kankare <kalle.kankare@vincit.fi> |
Fri Dec 03 12:36:44 2010 +0100 (2010-12-03) | |
changeset 2216 | 81b4c0efa46f |
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