| author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
| Wed Aug 19 19:44:30 2009 +0200 (2009-08-19) | |
| branch | bash_array |
| changeset 1478 | 3a9fb0d6d8e2 |
| parent 1380 | 945dc995daa7 |
| child 1522 | aab8f20f3795 |
| permissions | -rw-r--r-- |
1 # CLooG options
3 choice
4 bool
5 prompt "CLooG/ppl version"
7 config CLOOG_V_0_15_3
8 bool
9 prompt "0.15.3"
11 # CT_INSERT_VERSION_ABOVE
12 # Don't remove above line!
13 endchoice
15 config CLOOG_VERSION
16 string
17 default "0.15.3" if CLOOG_V_0_15_3
18 # CT_INSERT_VERSION_STRING_ABOVE
19 # Don't remove above line!