| author | "Yann E. MORIN" <yann.morin.1998@free.fr> |
| Sun Nov 11 21:42:34 2012 +0100 (2012-11-11) | |
| branch | 1.15 |
| changeset 3106 | 070a8c94bfe7 |
| parent 2853 | 5182fa901f30 |
| child 3218 | 3709e61ad85b |
| 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_11
10 bool
11 prompt "0.15.11"
12 select CLOOG_0_15_1x
14 config CLOOG_V_0_15_10
15 bool
16 prompt "0.15.10"
17 select CLOOG_0_15_1x
19 config CLOOG_V_0_15_9
20 bool
21 prompt "0.15.9"
23 config CLOOG_V_0_15_8
24 bool
25 prompt "0.15.8"
27 config CLOOG_V_0_15_7
28 bool
29 prompt "0.15.7"
31 config CLOOG_V_0_15_6
32 bool
33 prompt "0.15.6"
35 endchoice
37 config CLOOG_VERSION
38 string
39 # Don't remove next line
40 # CT_INSERT_VERSION_STRING_BELOW
41 default "0.15.11" if CLOOG_V_0_15_11
42 default "0.15.10" if CLOOG_V_0_15_10
43 default "0.15.9" if CLOOG_V_0_15_9
44 default "0.15.8" if CLOOG_V_0_15_8
45 default "0.15.7" if CLOOG_V_0_15_7
46 default "0.15.6" if CLOOG_V_0_15_6
48 config CLOOG_0_15_1x
49 bool
50 select CLOOG_NEEDS_AUTORECONF
52 config CLOOG_NEEDS_AUTORECONF
53 bool