config/binutils.in
author Arnaud Lacombe <lacombar@gmail.com>
Thu Aug 05 17:59:49 2010 +0200 (2010-08-05)
changeset 2067 477c7955e6b0
parent 1887 5d872df743fe
child 2564 5d4e91c0343e
permissions -rw-r--r--
complibs/ppl: fix PPL build with GMP 5.x.x

From http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=9c19bc2b318a35016e0189f9552c98910be37f53

Author: Roberto Bagnara <bagnara@cs.unipr.it>
Revision log: Added support for GMP 5.0.

Adapted manually to match and not having to re-generate the configure script.

Signed-off-by: Arnaud Lacombe <lacombar@gmail.com>
     1 # Binary utilities menu
     2 
     3 menu "Binary utilities"
     4 
     5 choice
     6     bool
     7     prompt "Binary format:"
     8 
     9 if ARCH_USE_MMU || BARE_METAL
    10 
    11 config ARCH_BINFMT_ELF
    12     bool
    13     prompt "ELF"
    14     help
    15       This will make your system build ELF exectubales,
    16       suitable for architectures with an MMU.
    17 
    18 endif # ARCH_USE_MMU
    19 
    20 if ! ARCH_USE_MMU
    21 
    22 config ARCH_BINFMT_FLAT
    23     bool
    24     prompt "Flat"
    25     help
    26       This will build flat binaries, suitable for
    27       MMU-less architectures.
    28 
    29 config ARCH_BINFMT_FDPIC
    30     bool
    31     prompt "FD_PIC ELF"
    32     help
    33       This will build FD_PIC ELF binaries, suitable for
    34       MMU-less architectures that still require to use
    35       shared libraries (FIXME).
    36 
    37 endif # ! ARCH_USE_MMU
    38 
    39 endchoice
    40 
    41 source "config/binutils/binutils.in"
    42 source "config/binutils/elf2flt.in"
    43 source "config/binutils/sstrip.in"
    44 
    45 endmenu