config/companion_tools.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Sun May 05 00:01:05 2013 +0200 (2013-05-05)
changeset 3218 3709e61ad85b
parent 1730 c43d16b6b950
child 3291 ccef9a13c09b
permissions -rw-r--r--
complibs/cloog: add support for the ISL backend

CLooG 0.18+ will use ISL instead of PPL, so we have to configure
adequately depending of which backend is in use.

The Kconfig entries will decide for us which is selected, so we
can rely on either PPL xor ISL to be selected, not both.

Reported-by: "Plotnikov Dmitry" <leitz@ispras.ru>
[Dmitry did a preliminray patch to add ISL support,
which this patch is inspired from]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
     1 # Companion tools config options
     2 
     3 if EXPERIMENTAL
     4 
     5 menu "Companion tools"
     6 
     7 comment "READ HELP before you say 'Y' below !!!"
     8 config COMP_TOOLS
     9     bool
    10     prompt "Build some companion tools"
    11     help
    12       Crosstool-NG relies on some external tools to be recent enough, namely:
    13         make = 3.81 (in some cases)
    14         m4 >= 1.4.12
    15         autoconf >= 2.63
    16         automake >= 1.10.2
    17         libtool >= 2.2.4
    18       
    19       If your system has older versions, we can build them for you,
    20       but you are strongly encouraged to update your system instead!
    21 
    22 if COMP_TOOLS
    23 
    24 config COMP_TOOLS_make
    25     bool
    26     prompt "make"
    27 
    28 config COMP_TOOLS_m4
    29     bool
    30     prompt "m4"
    31 
    32 config COMP_TOOLS_autoconf
    33     bool
    34     prompt "autoconf"
    35 
    36 config COMP_TOOLS_automake
    37     bool
    38     prompt "automake"
    39 
    40 config COMP_TOOLS_libtool
    41     bool
    42     prompt "libtool"
    43 
    44 endif
    45 
    46 endmenu
    47 
    48 endif