Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Correct entries related to --enable-build-mode and --enable-profiling in #15

Merged
merged 1 commit into from
Oct 5, 2020
Merged

Conversation

lrknox
Copy link
Collaborator

@lrknox lrknox commented Oct 3, 2020

INSTALL file, and remove obsolete SZIP paragraph from COPYING file.
Fix #9

INSTALL file, and remove obsolete SZIP paragraph from COPYING file.
library can also be compiled for profiling with gprof by saying
`--enable-production=profile'.
`--enable-profiling'.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is an improvement, but the build modes are really just collections of features. For example, you can turn debug symbols on/off using --enable-symbols=(yes|no|).

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'll merge this. If INSTALL needs more detail we could create an issue for it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Typos in INSTALL section "Optimization versus symbolic debugging
4 participants