| author | Bernhard Walle <bernhard@bwalle.de> |
| Sun May 11 13:00:36 2014 +0200 (2014-05-11) | |
| changeset 3318 | 579bc9107f99 |
| parent 3218 | 3709e61ad85b |
| child 3324 | 1eea25c0bfe7 |
| 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_1
13 bool
14 prompt "0.18.1"
15 select CLOOG_0_18_or_later
17 config CLOOG_V_0_18_0
18 bool
19 prompt "0.18.0"
20 select CLOOG_0_18_or_later
22 endif # ISL
24 if PPL
26 config CLOOG_V_0_15_11
27 bool
28 prompt "0.15.11"
29 select CLOOG_0_15_1x
31 config CLOOG_V_0_15_10
32 bool
33 prompt "0.15.10"
34 select CLOOG_0_15_1x
36 config CLOOG_V_0_15_9
37 bool
38 prompt "0.15.9"
40 config CLOOG_V_0_15_8
41 bool
42 prompt "0.15.8"
44 config CLOOG_V_0_15_7
45 bool
46 prompt "0.15.7"
48 config CLOOG_V_0_15_6
49 bool
50 prompt "0.15.6"
52 endif # PPL
54 endchoice
56 config CLOOG_VERSION
57 string
58 # Don't remove next line
59 # CT_INSERT_VERSION_STRING_BELOW
60 default "0.18.1" if CLOOG_V_0_18_1
61 default "0.18.0" if CLOOG_V_0_18_0
62 default "0.15.11" if CLOOG_V_0_15_11
63 default "0.15.10" if CLOOG_V_0_15_10
64 default "0.15.9" if CLOOG_V_0_15_9
65 default "0.15.8" if CLOOG_V_0_15_8
66 default "0.15.7" if CLOOG_V_0_15_7
67 default "0.15.6" if CLOOG_V_0_15_6
69 config CLOOG_0_18_or_later
70 bool
72 config CLOOG_0_15_1x
73 bool
74 select CLOOG_NEEDS_AUTORECONF
76 config CLOOG_NEEDS_AUTORECONF
77 bool