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 /config/companion_libs/ppl.in | |
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 'config/companion_libs/ppl.in')
-rw-r--r-- | config/companion_libs/ppl.in | 33 |
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. |