author | Bryan Hundven <bryanhundven@gmail.com> |
Mon Jan 03 01:15:30 2011 +0100 (2011-01-03) | |
changeset 2238 | c9eab2fa7a3c |
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