-
Notifications
You must be signed in to change notification settings - Fork 55
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
Makefile: Use install command to install #34
base: master
Are you sure you want to change the base?
Conversation
|
Oh, you're right. It seems to be a GNU extension.
|
I believe that GNU install's |
Hmm. It seems like |
I think that I'd go for To be extra careful maybe we could go for Cheers! |
When installing to a non-standard DESTDIR, the entire target tree might not be there.
Note that |
Which systems do not support |
@JohnAZoidberg, for reference: https://www.gnu.org/software/make/manual/html_node/Utilities-in-Makefiles.html Though |
Just to clarify, I do not think you should worry about providing an alternative to That lets the portability question be dealt with by users of platforms affected, but still empowers them to overcome the issue with minimal extra effort. |
It creates the parent directories of the target if they are not there.
This is especially useful if you want to install it into a non-standard location.