config/companion_libs.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Mon May 26 23:25:17 2014 +0200 (2014-05-26)
changeset 3324 1eea25c0bfe7
parent 3216 bfad02f03c75
permissions -rw-r--r--
complibs/cloog: remove old CLooG/PPL versions

Those versions are no longer available upstream. They have purely and
simply disapeared, without leaving any trace of their mere existences.

Just keep the latest cloog-ppl-0.15.11, which still exists on the gcc
infra mirror (but for how long?)

Reported-by: Guillaume FLORENCE-COURTAND <gflorenc@laposte.net>
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