summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-05-05 22:04:20 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-05-05 22:04:20 (GMT)
commita0cf91e83ba73841a4ad810af8df7bf5c8dc0ab4 (patch)
tree18b00b5b0c5b2cff83bb5c23ba0b92f5050fc0ea /config
parent524095a6fab05ff14ca7003dfc0dd6c8e648ab33 (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')
-rw-r--r--config/companion_libs.in22
-rw-r--r--config/companion_libs/ppl.in33
2 files changed, 52 insertions, 3 deletions
diff --git a/config/companion_libs.in b/config/companion_libs.in
index 49dc662..d581d80 100644
--- a/config/companion_libs.in
+++ b/config/companion_libs.in
@@ -9,10 +9,11 @@ config GMP_MPFR
prompt "GMP and MPFR"
help
gcc 4.3.0 and above requires both GMP and MPFR to build some frontends,
- and some other components can use them as well (eg. binutils and gdb).
+ and some other components can use them as well.
- Say 'Y' here if you want to build those two libraries specifically
- for crosstool-NG.
+ These will be automatically selected if you choose gcc>=4.3.0, but you
+ can say 'Y' here if you want to build those two libraries for the other
+ components (that don't select them by default).
The packages that can use GMP and MPFR are:
- binutils
@@ -35,4 +36,19 @@ source config/companion_libs/gmp.in
source config/companion_libs/mpfr.in
endif
+config PPL_CLOOG
+ bool
+ prompt "PPL and GLooG/PPL"
+ help
+ gcc-4.4.0 and above requires both PPL and CLooG/PPL to build some
+ parts of the optimiser (GRAPHITE loop optimisation, to be precise).
+
+ These will be automatically selected if you choose gcc>=4.4.0, but you
+ can say 'Y' here, although it is unknown yet if any other component
+ can use them.
+
+if PPL_CLOOG
+source config/companion_libs/ppl.in
+endif
+
endmenu
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.