diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-05-05 22:04:20 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-05-05 22:04:20 (GMT) |
| commit | a0cf91e83ba73841a4ad810af8df7bf5c8dc0ab4 (patch) | |
| tree | 18b00b5b0c5b2cff83bb5c23ba0b92f5050fc0ea /scripts/addToolVersion.sh | |
| parent | 524095a6fab05ff14ca7003dfc0dd6c8e648ab33 (diff) | |
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(-)
Diffstat (limited to 'scripts/addToolVersion.sh')
| -rwxr-xr-x | scripts/addToolVersion.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/addToolVersion.sh b/scripts/addToolVersion.sh index 21f4e9e..8e0446e 100755 --- a/scripts/addToolVersion.sh +++ b/scripts/addToolVersion.sh @@ -13,7 +13,7 @@ Usage: ${myname} <tool> <[options] version [...]> ... 'tool' in one of: --gcc, --binutils, --glibc, --eglibc, --uClibc, --linux, --gdb, --dmalloc, --duma, --strace, --ltrace, --libelf - --gmp, --mpfr + --gmp, --mpfr, --ppl Valid options for all tools: --stable, -s, +x (default) @@ -133,6 +133,7 @@ while [ $# -gt 0 ]; do --libelf) EXP=; OBS=; cat=LIBELF; tool=libelf; tool_prefix=tools;; --gmp) EXP=; OBS=; cat=GMP; tool=gmp; tool_prefix=companion_libs;; --mpfr) EXP=; OBS=; cat=MPFR; tool=mpfr; tool_prefix=companion_libs;; + --ppl) EXP=; OBS=; cat=PPL; tool=ppl; tool_prefix=companion_libs;; # Tools options: -x|--experimental|+s) EXP=1;; |