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 files changed, 33 insertions, 0 deletions

diff --git a/config/companion_libs/ppl.in b/config/companion_libs/ppl.in
new file mode 100644
index 0000000..d8f5906
--- /dev/null
+++ b/config/companion_libs/ppl.in
@@ -0,0 +1,33 @@
+# 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.