author | "Yann E. MORIN" <yann.morin.1998@free.fr> |
Wed Jun 25 23:33:01 2014 +0200 (2014-06-25) | |
changeset 3325 | 069f43a215cc |
parent 3285 | a8cb9039fade |
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_NEEDS_AUTORECONF
31 endif # PPL
33 endchoice
35 config CLOOG_VERSION
36 string
37 # Don't remove next line
38 # CT_INSERT_VERSION_STRING_BELOW
39 default "0.18.1" if CLOOG_V_0_18_1
40 default "0.18.0" if CLOOG_V_0_18_0
41 default "0.15.11" if CLOOG_V_0_15_11
43 config CLOOG_0_18_or_later
44 bool
46 config CLOOG_NEEDS_AUTORECONF
47 bool