This repository has been archived by the owner on Nov 6, 2022. It is now read-only.
Makefile: cleanup install, uninstall, clean, all #321
Closed
Conversation
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
install now works on OS X in addition to Linux
("install -D" not supported on OS X)
also installs the static library
shared and static libraries are not rebuilt if no sources changed
(the files are now "targets" in the Makefile)
Make DESTDIR and PREFIX work together. They are usually both specified
to a typical configure / make system. Usually you would do something
like "./configure --prefix=/usr && make DESTDIR=tmp/pkg install".
Before this change, specifying PREFIX would cause DESTDIR to be ignored
(you would have to incorporate your intended DESTDIR into PREFIX,
which is surprising).
small fixups for uninstall and clean
new default "all" target that does not run tests
(run "make test" for previous default behavior)
since "test" is no longer the default target
ploxiln
force-pushed
the
make_install_libs
branch
from
6a7bcb1 to
a32e323
Compare
wildart
referenced
this pull request
in JuliaLang/julia
Jul 7, 2016
|
this is now out-of-date |
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Lots of little Makefile changes in here. (also, happens to include the changes in #243 and #264)
If any of these changes are not desired, I'm happy to revise with them omitted.
install now works on OS X in addition to Linux ("install -D" not supported on OS X)
also installs the static library
shared and static libraries are not rebuilt if no sources changed
(the files are now "targets" in the Makefile)
(so that "make && sudo make install" does not re-build the libs under sudo)
Make DESTDIR and PREFIX work together. They are usually both specified
to a typical configure / make system. Usually you would do something
like "./configure --prefix=/usr && make DESTDIR=tmp/pkg install".
Before this change, specifying PREFIX would cause DESTDIR to be ignored
(you would have to incorporate your intended DESTDIR into PREFIX,
which is surprising).
small fixups for uninstall and clean
new default "all" target that does not run tests
(run "make test" for previous default behavior)