#70 closed enhancement (fixed)
add build option to optimize for speed
| Reported by: | felix winkelmann | Owned by: | |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | build system | Version: | 4.1.x |
| Keywords: | Cc: | ||
| Estimated difficulty: |
Description
something like
make ... OPTIMIZE_FOR_SPEED=yes ...
This should use the gcc option -O3 instead of the default -Os.
Change History (6)
comment:1 follow-up: 2 Changed 15 years ago by
comment:2 follow-up: 3 Changed 15 years ago by
Replying to zbigniew:
Why create a dedicated option when the user can just override C_COMPILER_OPTIMIZATION_OPTIONS from the
makecommand-line, providing much more control?
I thought it might be easier to use (and we should know better what options to use for maximum performance).
comment:3 follow-up: 4 Changed 15 years ago by
Replying to felix:
I thought it might be easier to use (and we should know better what options to use for maximum performance).
OK, this makes sense. But, if it is still possible to leave the manual override in as well, I would appreciate it. Sometimes we can't pick "fast" options just based on platform/arch.
comment:4 Changed 15 years ago by
Replying to zbigniew:
Replying to felix:
I thought it might be easier to use (and we should know better what options to use for maximum performance).
OK, this makes sense. But, if it is still possible to leave the manual override in as well, I would appreciate it. Sometimes we can't pick "fast" options just based on platform/arch.
Sure. It must be possible to override the optimization options in any case.
Why create a dedicated option when the user can just override C_COMPILER_OPTIMIZATION_OPTIONS from the
makecommand-line, providing much more control?