config/companion_libs.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 3216 bfad02f03c75
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>
yann@1318
     1
# Companion libraries config options
yann@1318
     2
# Those libraries are required for different versions of gcc,
yann@1318
     3
# and can be used by binutils and gdb (maybe others as well).
yann@602
     4
yann@1318
     5
menu "Companion libraries"
yann@602
     6
yann@2131
     7
config COMPLIBS_NEEDED
yann@2131
     8
    bool
yann@2131
     9
yann@2131
    10
config GMP_NEEDED
yann@2131
    11
    bool
yann@2131
    12
    select GMP
yann@2131
    13
    select COMPLIBS_NEEDED
yann@2131
    14
yann@2131
    15
config MPFR_NEEDED
yann@2131
    16
    bool
yann@2131
    17
    select MPFR
yann@2131
    18
    select COMPLIBS_NEEDED
yann@2131
    19
yann@2131
    20
config PPL_NEEDED
yann@2131
    21
    bool
yann@2131
    22
    select PPL
yann@2131
    23
    select COMPLIBS_NEEDED
yann@2131
    24
yann@3216
    25
config ISL_NEEDED
yann@3216
    26
    bool
yann@3216
    27
    select ISL
yann@3216
    28
    select COMPLIBS_NEEDED
yann@3216
    29
yann@2131
    30
config CLOOG_NEEDED
yann@2131
    31
    bool
yann@2131
    32
    select CLOOG
yann@2131
    33
    select COMPLIBS_NEEDED
yann@2131
    34
yann@2131
    35
config MPC_NEEDED
yann@2131
    36
    bool
yann@2131
    37
    select MPC
yann@2131
    38
    select COMPLIBS_NEEDED
yann@2131
    39
yann@2131
    40
config LIBELF_NEEDED
yann@2131
    41
    bool
yann@2131
    42
    select LIBELF
yann@2131
    43
    select COMPLIBS_NEEDED
yann@2131
    44
yann@1809
    45
config COMPLIBS
yann@1809
    46
    bool
yann@1809
    47
yann@1808
    48
config GMP
yann@602
    49
    bool
yann@1809
    50
    select COMPLIBS
yann@602
    51
yann@1808
    52
config MPFR
yann@1808
    53
    bool
yann@1808
    54
    select GMP
yann@1809
    55
    select COMPLIBS
yann@1808
    56
yann@1808
    57
config PPL
yann@1808
    58
    bool
yann@1808
    59
    select GMP
yann@1809
    60
    select COMPLIBS
yann@1808
    61
yann@3216
    62
config ISL
yann@3216
    63
    bool
yann@3216
    64
    select GMP
yann@3216
    65
    select COMPLIBS
yann@3216
    66
yann@1808
    67
config CLOOG
yann@1808
    68
    bool
yann@1808
    69
    select GMP
yann@1809
    70
    select COMPLIBS
yann@1808
    71
yann@1808
    72
config MPC
yann@1808
    73
    bool
yann@1808
    74
    select GMP
yann@1808
    75
    select MPFR
yann@1809
    76
    select COMPLIBS
yann@1808
    77
yann@1811
    78
config LIBELF
yann@1811
    79
    bool
yann@1811
    80
    select COMPLIBS
yann@1811
    81
yann@1811
    82
config LIBELF_TARGET
yann@1811
    83
    bool
yann@1811
    84
yann@2099
    85
if GMP
yann@1870
    86
source "config/companion_libs/gmp.in"
yann@1808
    87
endif
yann@2099
    88
if MPFR
yann@1870
    89
source "config/companion_libs/mpfr.in"
yann@602
    90
endif
yann@2099
    91
if PPL
yann@1870
    92
source "config/companion_libs/ppl.in"
yann@1808
    93
endif
yann@3216
    94
if ISL
yann@3216
    95
source "config/companion_libs/isl.in"
yann@3216
    96
endif
yann@2099
    97
if CLOOG
yann@1870
    98
source "config/companion_libs/cloog.in"
yann@1808
    99
endif
yann@2099
   100
if MPC
yann@1870
   101
source "config/companion_libs/mpc.in"
yann@1324
   102
endif
yann@1811
   103
if LIBELF || LIBELF_TARGET
yann@1811
   104
comment "libelf version needed to build for target"
yann@1811
   105
    depends on !LIBELF
yann@1870
   106
source "config/companion_libs/libelf.in"
yann@1811
   107
endif
yann@1324
   108
yann@1398
   109
config FOO
yann@1398
   110
    bool
yann@1398
   111
yann@1892
   112
if COMPLIBS
yann@1892
   113
yann@1398
   114
comment "Companion libraries common options"
yann@1809
   115
yann@1890
   116
config COMPLIBS_CHECK
yann@1386
   117
    bool
yann@1892
   118
    prompt "Check the companion libraries builds (!!! READ HELP!!!)"
yann@1386
   119
    help
yann@1386
   120
      It is highly recommended to check the newly built companion libraries.
yann@1386
   121
      Unfortunately, this is a very intensive task, and takes a loooong time.
Yann@1407
   122
      
yann@1386
   123
      Checking the newly built companion libraries is thus disabled by default,
yann@1388
   124
      but it is suggested that you check them at least once on your machine,
yann@1386
   125
      and if they work, disable the check on subsequent builds.
Yann@1407
   126
      
yann@1386
   127
      If you suspect that one (or more) of your companion libraries is the
yann@1386
   128
      cause for incorrectly generated code, you should answer 'Y' here.
yann@1386
   129
      Note however that this will take a really long time. For example,
yann@1386
   130
      building PPL on my machine takes roughly 1'40", while checking it takes
yann@1398
   131
      about 1h40'...
yann@1386
   132
yann@1892
   133
endif # COMPLIBS
yann@1892
   134
yann@602
   135
endmenu