config/companion_libs/cloog.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Thu May 26 22:51:03 2011 +0200 (2011-05-26)
changeset 2481 30644208c955
parent 2206 2b5f5173daa0
child 2758 47199f966983
permissions -rw-r--r--
configure: add possibility to set arbitrary variable in check_for

If check_for is able to find the required prog/inc/lib, allow it to
set an arbitrary variable to 'y'. This variable is then pushed down
to the kconfig definition.

For example:
has_or_abort prog=foobar kconfig=has_foobar

If foobar is available, it yields a kconfig variable defaulting to y:
config CONFIGURE_has_foobar
bool
default y

If foobar is missing, it yields a kconfig variable defaulting to n:
config CONFIGURE_has_foobar
bool

Thus it is possible to depends on that variabel to show/hide options:
config SOME_FEATURE
bool
prompt "Some feature"
depends on CONFIGURE_has_foobar

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
     1 # CLooG options
     2 
     3 choice
     4     bool
     5     prompt "CLooG/ppl version"
     6 # Don't remove next line
     7 # CT_INSERT_VERSION_BELOW
     8 
     9 config CLOOG_V_0_15_11
    10     bool
    11     prompt "0.15.11 (EXPERIMENTAL)"
    12     depends on EXPERIMENTAL
    13 
    14 config CLOOG_V_0_15_10
    15     bool
    16     prompt "0.15.10"
    17 
    18 config CLOOG_V_0_15_9
    19     bool
    20     prompt "0.15.9"
    21 
    22 config CLOOG_V_0_15_8
    23     bool
    24     prompt "0.15.8"
    25 
    26 config CLOOG_V_0_15_7
    27     bool
    28     prompt "0.15.7"
    29 
    30 config CLOOG_V_0_15_6
    31     bool
    32     prompt "0.15.6"
    33 
    34 endchoice
    35 
    36 config CLOOG_VERSION
    37     string
    38 # Don't remove next line
    39 # CT_INSERT_VERSION_STRING_BELOW
    40     default "0.15.11" if CLOOG_V_0_15_11
    41     default "0.15.10" if CLOOG_V_0_15_10
    42     default "0.15.9" if CLOOG_V_0_15_9
    43     default "0.15.8" if CLOOG_V_0_15_8
    44     default "0.15.7" if CLOOG_V_0_15_7
    45     default "0.15.6" if CLOOG_V_0_15_6
    46     default "0.15.5" if CLOOG_V_0_15_5
    47     default "0.15.4" if CLOOG_V_0_15_4
    48     default "0.15.3" if CLOOG_V_0_15_3