author | Richard Weinberger <richard@nod.at> |
Fri Nov 08 15:18:09 2013 +0100 (2013-11-08) | |
changeset 3244 | 8ff20760e93b |
parent 2957 | 3e2f2100a76d |
child 3285 | a8cb9039fade |
permissions | -rw-r--r-- |
1 # CLooG options
3 choice
4 bool
5 prompt "CLooG version"
7 if ISL
9 # Don't remove next line
10 # CT_INSERT_VERSION_BELOW
12 config CLOOG_V_0_18_0
13 bool
14 prompt "0.18.0"
15 select CLOOG_0_18_or_later
17 endif # ISL
19 if PPL
21 config CLOOG_V_0_15_11
22 bool
23 prompt "0.15.11"
24 select CLOOG_0_15_1x
26 config CLOOG_V_0_15_10
27 bool
28 prompt "0.15.10"
29 select CLOOG_0_15_1x
31 config CLOOG_V_0_15_9
32 bool
33 prompt "0.15.9"
35 config CLOOG_V_0_15_8
36 bool
37 prompt "0.15.8"
39 config CLOOG_V_0_15_7
40 bool
41 prompt "0.15.7"
43 config CLOOG_V_0_15_6
44 bool
45 prompt "0.15.6"
47 endif # PPL
49 endchoice
51 config CLOOG_VERSION
52 string
53 # Don't remove next line
54 # CT_INSERT_VERSION_STRING_BELOW
55 default "0.18.0" if CLOOG_V_0_18_0
56 default "0.15.11" if CLOOG_V_0_15_11
57 default "0.15.10" if CLOOG_V_0_15_10
58 default "0.15.9" if CLOOG_V_0_15_9
59 default "0.15.8" if CLOOG_V_0_15_8
60 default "0.15.7" if CLOOG_V_0_15_7
61 default "0.15.6" if CLOOG_V_0_15_6
63 config CLOOG_0_18_or_later
64 bool
66 config CLOOG_0_15_1x
67 bool
68 select CLOOG_NEEDS_AUTORECONF
70 config CLOOG_NEEDS_AUTORECONF
71 bool