diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-05-25 18:22:26 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-05-25 18:22:26 (GMT) |
commit | 52e72144d782cc3fb1110aa5e6ce305a809841a9 (patch) | |
tree | d586e5abf658e5fcbe2e6421f480ebea50b3fd86 /config/companion_libs | |
parent | 843a16f70c09d9ae1ec5db5282608da39897242e (diff) |
/devel/gcc-4.4:
- add support for building the MPC library.
-------- diffstat follows --------
/devel/gcc-4.4/scripts/build/companion_libs/ppl.sh | 4 2 2 0 +-
/devel/gcc-4.4/scripts/build/companion_libs/mpc.sh | 57 57 0 0 ++++++++++++++++++++++++++++++++++
/devel/gcc-4.4/scripts/build/companion_libs/cloog.sh | 4 2 2 0 +-
/devel/gcc-4.4/scripts/crosstool-NG.sh.in | 3 3 0 0 ++
/devel/gcc-4.4/steps.mk | 1 1 0 0 +
/devel/gcc-4.4/config/companion_libs/mpc.in | 32 32 0 0 +++++++++++++++++++
/devel/gcc-4.4/config/companion_libs.in | 15 10 5 0 ++++++---
7 files changed, 107 insertions(+), 9 deletions(-)
Diffstat (limited to 'config/companion_libs')
-rw-r--r-- | config/companion_libs/mpc.in | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/config/companion_libs/mpc.in b/config/companion_libs/mpc.in new file mode 100644 index 0000000..7ff2c26 --- /dev/null +++ b/config/companion_libs/mpc.in @@ -0,0 +1,32 @@ +# MPC options + +choice + bool + prompt "MPC version" + +config MPC_V_0_6 + bool + prompt "0.6" + +# CT_INSERT_VERSION_ABOVE +# Don't remove above line! +endchoice + +config MPC_VERSION + string + default "0.6" if MPC_V_0_6 +# CT_INSERT_VERSION_STRING_ABOVE +# Don't remove above line! + +config MPC_CHECK + bool + prompt "Check MPC (!!! README !!!)" + default n + help + It is highly recommended to check the newly built MPC library. + Unfortunately, this is a very intensive task, and takes a loooong time. + + Checking MPC is thus disabled by default. + + If you suspect that your MPC library is the cause for incorrectly + generated code, you should answer 'Y' here. |