summaryrefslogtreecommitdiff
path: root/config/companion_libs/cloog.in
blob: e67e79fc63398535c434b21a647248325098a85b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
# 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!

config CLOOG_CHECK
    bool
    prompt "Check CLooG (!!! README !!!)"
    default n
    help
      It is highly recommended to check the newly built CLooG library.
      Unfortunately, this is a very intensive task, and takes a loooong time.
      
      Checking CLooG is thus disabled by default.
      
      If you suspect that your CLooG library is the cause for incorrectly
      generated code, you should answer 'Y' here.