config/companion_libs.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Sat May 04 00:08:34 2013 +0200 (2013-05-04)
changeset 3216 bfad02f03c75
parent 2484 d1a8c2ae7946
child 3218 3709e61ad85b
permissions -rw-r--r--
complibs: add ISL

ISL is used by gcc-4.8 onward for GRAPHITE, so is also used as
backend for CLooG 0.18.0 onward.

Reported-by: "Plotnikov Dmitry" <leitz@ispras.ru>
[Dmitry did a preliminray patch to add ISL, which this one 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@1808
    70
    select PPL
yann@1809
    71
    select COMPLIBS
yann@1808
    72
yann@1808
    73
config MPC
yann@1808
    74
    bool
yann@1808
    75
    select GMP
yann@1808
    76
    select MPFR
yann@1809
    77
    select COMPLIBS
yann@1808
    78
yann@1811
    79
config LIBELF
yann@1811
    80
    bool
yann@1811
    81
    select COMPLIBS
yann@1811
    82
yann@1811
    83
config LIBELF_TARGET
yann@1811
    84
    bool
yann@1811
    85
yann@2099
    86
if GMP
yann@1870
    87
source "config/companion_libs/gmp.in"
yann@1808
    88
endif
yann@2099
    89
if MPFR
yann@1870
    90
source "config/companion_libs/mpfr.in"
yann@602
    91
endif
yann@2099
    92
if PPL
yann@1870
    93
source "config/companion_libs/ppl.in"
yann@1808
    94
endif
yann@3216
    95
if ISL
yann@3216
    96
source "config/companion_libs/isl.in"
yann@3216
    97
endif
yann@2099
    98
if CLOOG
yann@1870
    99
source "config/companion_libs/cloog.in"
yann@1808
   100
endif
yann@2099
   101
if MPC
yann@1870
   102
source "config/companion_libs/mpc.in"
yann@1324
   103
endif
yann@1811
   104
if LIBELF || LIBELF_TARGET
yann@1811
   105
comment "libelf version needed to build for target"
yann@1811
   106
    depends on !LIBELF
yann@1870
   107
source "config/companion_libs/libelf.in"
yann@1811
   108
endif
yann@1324
   109
yann@1398
   110
config FOO
yann@1398
   111
    bool
yann@1398
   112
yann@1892
   113
if COMPLIBS
yann@1892
   114
yann@1398
   115
comment "Companion libraries common options"
yann@1809
   116
yann@1890
   117
config COMPLIBS_CHECK
yann@1386
   118
    bool
yann@1892
   119
    prompt "Check the companion libraries builds (!!! READ HELP!!!)"
yann@1386
   120
    help
yann@1386
   121
      It is highly recommended to check the newly built companion libraries.
yann@1386
   122
      Unfortunately, this is a very intensive task, and takes a loooong time.
Yann@1407
   123
      
yann@1386
   124
      Checking the newly built companion libraries is thus disabled by default,
yann@1388
   125
      but it is suggested that you check them at least once on your machine,
yann@1386
   126
      and if they work, disable the check on subsequent builds.
Yann@1407
   127
      
yann@1386
   128
      If you suspect that one (or more) of your companion libraries is the
yann@1386
   129
      cause for incorrectly generated code, you should answer 'Y' here.
yann@1386
   130
      Note however that this will take a really long time. For example,
yann@1386
   131
      building PPL on my machine takes roughly 1'40", while checking it takes
yann@1398
   132
      about 1h40'...
yann@1386
   133
yann@1892
   134
endif # COMPLIBS
yann@1892
   135
yann@602
   136
endmenu