author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
Sat Oct 10 16:41:12 2009 +0200 (2009-10-10) | |
branch | 1.5 |
changeset 1572 | cb9d5bf0cdc4 |
parent 1534 | d4ddf19a1968 |
child 1615 | 50b25816f5bb |
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_7
10 bool
11 prompt "0.15.7"
13 config CLOOG_V_0_15_6
14 bool
15 prompt "0.15.6"
17 config CLOOG_V_0_15_5
18 bool
19 prompt "0.15.5"
21 config CLOOG_V_0_15_4
22 bool
23 prompt "0.15.4"
25 config CLOOG_V_0_15_3
26 bool
27 prompt "0.15.3"
29 endchoice
31 config CLOOG_VERSION
32 string
33 # Don't remove next line
34 # CT_INSERT_VERSION_STRING_BELOW
35 default "0.15.7" if CLOOG_V_0_15_7
36 default "0.15.6" if CLOOG_V_0_15_6
37 default "0.15.5" if CLOOG_V_0_15_5
38 default "0.15.4" if CLOOG_V_0_15_4
39 default "0.15.3" if CLOOG_V_0_15_3