# 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.