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

# This file adds functions to build the C library for bare metal (IE. none)

# Copyright 2008 Yann E. MORIN

# Licensed under the GPL v2. See COPYING in the root of this package

do_libc_get() {

    :

}

do_libc_extract() {

    :

}

do_libc_check_config() {

    :

}

do_libc_headers() {

    :

}

do_libc_start_files() {

    :

}

do_libc() {

    :

}

do_libc_finish() {

    :

}