Hello,

this is a set of patches (against 4c63ce24fccd from 8 days ago) that I
used to build my toolchains, supporting newer libraries.

Patch:

* 001: Adds GCC 4.8.0 and linaro gcc 4.8 (also linaro 4.6 and 4.7 are
updated to 2013.05).

* 002: Adds GMP 5.0.5 (BTW version 5.1.x will only compile with
snapshots of PPL library)

* 003: Adds MPC versions 1.0 and 1.0.1

* 004: Adds PPL 0.12.1 and 1.0 (Version 1.0 needs some patches in the
configuration scripts of cloog-ppl - just updated 0.15.11 for now -
and GCC/linaro 4.7 and previous - done for gcc 4.7.3 and gcc 4.6.4 and
linaro 4.6 and 4.7)

I have tested these in building arm toolchains with gcc 4.8.0, 4.7.3
and 4.6.4 and linaro 4.8.2013.05, 4.7.2013.05 and 4.6.2013.05.

Cheers,
Daniel