Mercurialcrosstool-ng / file revision
summary | shortlog | changelog | graph | tags | branches | files | changeset | file | latest | revisions | annotate | diff | raw | help
config/companion_libs/ppl.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue May 05 22:04:20 2009 +0000 (2009-05-05)
changeset 1324 48c12c696778
child 1386 7995942261f2
permissions -rw-r--r--
Add support for building PPL:
- PPL will be needed to correctly build gcc-4.4+ for the
GRAPHITE loop optimisation

-------- diffstat follows --------
/trunk/scripts/build/companion_libs/ppl.sh | 66 66 0 0 ++++++++++++++++++++++++++++++++++++
/trunk/scripts/build/companion_libs/gmp.sh | 24 19 5 0 ++++++++++---
/trunk/scripts/addToolVersion.sh | 3 2 1 0 +-
/trunk/scripts/crosstool-NG.sh.in | 3 3 0 0 ++
/trunk/steps.mk | 1 1 0 0 +
/trunk/config/companion_libs/ppl.in | 33 33 0 0 ++++++++++++++++++
/trunk/config/companion_libs.in | 22 19 3 0 ++++++++++--
7 files changed, 143 insertions(+), 9 deletions(-) 
     1 # PPL options

     2 

     3 choice

     4     bool

     5     prompt "PPL version"

     6 

     7 config PPL_V_0_10_2

     8     bool

     9     prompt "0.10.2"

    10 

    11 # CT_INSERT_VERSION_ABOVE

    12 # Don't remove above line!

    13 endchoice

    14 

    15 config PPL_VERSION

    16     string

    17     default "0.10.2" if PPL_V_0_10_2

    18 # CT_INSERT_VERSION_STRING_ABOVE

    19 # Don't remove above line!

    20 

    21 config PPL_CHECK

    22     bool

    23     prompt "Check PPL (!!! README !!!)"

    24     default n

    25     help

    26       Checking PPL is very intensive and takes a loooong time.

    27       The PPL folks do not recommend checking the library, but they do

    28       not recommend not checking it, either.

    29       

    30       Checking PPL is thus disabled by default.

    31       

    32       If you suspect that your PPL library is the cause for incorrectly

    33       generated code, you should answer 'Y' here.
crosstool-ng