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(-)

# PPL options

choice

    bool

    prompt "PPL version"

config PPL_V_0_10_2

    bool

    prompt "0.10.2"

# CT_INSERT_VERSION_ABOVE

# Don't remove above line!

endchoice

config PPL_VERSION

    string

    default "0.10.2" if PPL_V_0_10_2

# CT_INSERT_VERSION_STRING_ABOVE

# Don't remove above line!

config PPL_CHECK

    bool

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

    default n

    help

      Checking PPL is very intensive and takes a loooong time.

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

      not recommend not checking it, either.

      Checking PPL is thus disabled by default.

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

      generated code, you should answer 'Y' here.