summaryrefslogtreecommitdiff
path: root/config/companion_libs/cloog.in
blob: 99779c96243f779abbb4e06c8587eea32c047308 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
# CLooG options

choice
    bool
    prompt "CLooG/ppl version"

config CLOOG_V_0_15_3
    bool
    prompt "0.15.3"

# CT_INSERT_VERSION_ABOVE
# Don't remove above line!
endchoice

config CLOOG_VERSION
    string
    default "0.15.3" if CLOOG_V_0_15_3
# CT_INSERT_VERSION_STRING_ABOVE
# Don't remove above line!