config/companion_libs/cloog.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Aug 30 19:33:48 2009 +0200 (2009-08-30)
changeset 1497 1b90f0b34c80
parent 1380 945dc995daa7
child 1522 aab8f20f3795
permissions -rw-r--r--
config: move down companion libraries sub-menu

Move the companion libraries sub-menu down the main menu.
That way, the user does not need to go back and forth in the menu
to change options set by the different components that select the
companion libraries (binutils, gcc, gdb).
     1 # CLooG options
     2 
     3 choice
     4     bool
     5     prompt "CLooG/ppl version"
     6 
     7 config CLOOG_V_0_15_3
     8     bool
     9     prompt "0.15.3"
    10 
    11 # CT_INSERT_VERSION_ABOVE
    12 # Don't remove above line!
    13 endchoice
    14 
    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!