diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-05-25 19:46:58 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-05-25 19:46:58 (GMT) |
| commit | 21649be4763884c0000ec61f468ce9d1be10616d (patch) | |
| tree | 49bb829299c72463c2e89b6eba6b183171479b60 /config/companion_libs/ppl.in | |
| parent | 87cf57e3ba2dbed18f3fdb4af4d2bce2d6df7541 (diff) | |
/devel/gcc-4.4:
- commonalise the config-knobs that:
- enable checking the newly built companion libraries
- enable building the companion libraries for the target
-------- diffstat follows --------
/devel/gcc-4.4/scripts/build/companion_libs/ppl.sh | 2 1 1 0
/devel/gcc-4.4/scripts/build/companion_libs/mpc.sh | 2 1 1 0
/devel/gcc-4.4/scripts/build/companion_libs/gmp.sh | 4 2 2 0 +-
/devel/gcc-4.4/scripts/build/companion_libs/cloog.sh | 2 1 1 0
/devel/gcc-4.4/scripts/build/companion_libs/mpfr.sh | 4 2 2 0 +-
/devel/gcc-4.4/config/companion_libs/ppl.in | 14 0 14 0 ----------
/devel/gcc-4.4/config/companion_libs/mpc.in | 13 0 13 0 ----------
/devel/gcc-4.4/config/companion_libs/gmp.in | 13 0 13 0 ----------
/devel/gcc-4.4/config/companion_libs/cloog.in | 13 0 13 0 ----------
/devel/gcc-4.4/config/companion_libs/mpfr.in | 14 0 14 0 ----------
/devel/gcc-4.4/config/companion_libs.in | 46 35 11 0 ++++++++++++++++++++++++++--------
11 files changed, 42 insertions(+), 85 deletions(-)
Diffstat (limited to 'config/companion_libs/ppl.in')
| -rw-r--r-- | config/companion_libs/ppl.in | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/config/companion_libs/ppl.in b/config/companion_libs/ppl.in index d8f5906..efdeabf 100644 --- a/config/companion_libs/ppl.in +++ b/config/companion_libs/ppl.in @@ -17,17 +17,3 @@ config PPL_VERSION 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. |