config/companion_libs/mpc.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Mon May 25 18:22:26 2009 +0000 (2009-05-25)
branchgcc-4.4
changeset 1384 b23f3c2e0c73
child 1386 7995942261f2
permissions -rw-r--r--
/devel/gcc-4.4:
- add support for building the MPC library.

-------- diffstat follows --------
/devel/gcc-4.4/scripts/build/companion_libs/ppl.sh | 4 2 2 0 +-
/devel/gcc-4.4/scripts/build/companion_libs/mpc.sh | 57 57 0 0 ++++++++++++++++++++++++++++++++++
/devel/gcc-4.4/scripts/build/companion_libs/cloog.sh | 4 2 2 0 +-
/devel/gcc-4.4/scripts/crosstool-NG.sh.in | 3 3 0 0 ++
/devel/gcc-4.4/steps.mk | 1 1 0 0 +
/devel/gcc-4.4/config/companion_libs/mpc.in | 32 32 0 0 +++++++++++++++++++
/devel/gcc-4.4/config/companion_libs.in | 15 10 5 0 ++++++---
7 files changed, 107 insertions(+), 9 deletions(-)
     1 # MPC options
     2 
     3 choice
     4     bool
     5     prompt "MPC version"
     6 
     7 config MPC_V_0_6
     8     bool
     9     prompt "0.6"
    10 
    11 # CT_INSERT_VERSION_ABOVE
    12 # Don't remove above line!
    13 endchoice
    14 
    15 config MPC_VERSION
    16     string
    17     default "0.6" if MPC_V_0_6
    18 # CT_INSERT_VERSION_STRING_ABOVE
    19 # Don't remove above line!
    20 
    21 config MPC_CHECK
    22     bool
    23     prompt "Check MPC (!!! README !!!)"
    24     default n
    25     help
    26       It is highly recommended to check the newly built MPC library.
    27       Unfortunately, this is a very intensive task, and takes a loooong time.
    28 
    29       Checking MPC is thus disabled by default.
    30 
    31       If you suspect that your MPC library is the cause for incorrectly
    32       generated code, you should answer 'Y' here.