author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
Sun Sep 13 17:51:33 2009 +0200 (2009-09-13) | |
changeset 1534 | d4ddf19a1968 |
parent 1522 | aab8f20f3795 |
child 1535 | 073d351bdcd3 |
permissions | -rw-r--r-- |
1 # CLooG options
3 choice
4 bool
5 prompt "CLooG/ppl version"
7 config CLOOG_V_0_15_7
8 bool
9 prompt "0.15.7"
11 config CLOOG_V_0_15_6
12 bool
13 prompt "0.15.6"
15 config CLOOG_V_0_15_5
16 bool
17 prompt "0.15.5"
19 config CLOOG_V_0_15_4
20 bool
21 prompt "0.15.4"
23 config CLOOG_V_0_15_3
24 bool
25 prompt "0.15.3"
27 # CT_INSERT_VERSION_ABOVE
28 # Don't remove above line!
29 endchoice
31 config CLOOG_VERSION
32 string
33 default "0.15.7" if CLOOG_V_0_15_7
34 default "0.15.6" if CLOOG_V_0_15_6
35 default "0.15.5" if CLOOG_V_0_15_5
36 default "0.15.4" if CLOOG_V_0_15_4
37 default "0.15.3" if CLOOG_V_0_15_3
38 # CT_INSERT_VERSION_STRING_ABOVE
39 # Don't remove above line!