-
Notifications
You must be signed in to change notification settings - Fork 17
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
build: support make help-overrides-option and help-overrides-header
Add a make help-overrides-option which reports certain configuration variables (those relating to external libraries) in a different format, as if they were configure options. HAVE_FOO_BAR is printed as --have-foo-bar ... This is used by the configure script to provide two formats for such options (expected to be more necessary when they are needed at all, due to the lack of useful automatic replacements for such libraries), via ENV_OVERRIDES or --configure-options=. We split the header emitted at the top of make help-overrides off into make help-overrides-header because the configure script will want to emit the header before the help-overrides-option output (which is printed first). Signed-off-by: Nick Alcock <nick.alcock@oracle.com> Reviewed-by: Kris Van Hees <kris.van.hees@oracle.com>
- Loading branch information
1 parent
3433e46
commit 0565afa
Showing
1 changed file
with
32 additions
and
6 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters