Closed alichtman closed 2 months ago
Thanks Aaron!
I think it should default to /usr/bin
and honor $PREFIX
, then distros can use this target too.
/usr/bin
is for distro-managed binaries, so having $ make install
put it there would be incorrect, and may break unexpectedly in the future. https://unix.stackexchange.com/a/8658
I think installing the binary here would have to be a decision made by package maintainers for each distro (and another target could be created for distros to use, like make install-for-distro
).
On the $PREFIX
suggestion -- I found https://www.gnu.org/software/make/manual/make.html#Directory-Variables to explain it. That seems reasonable to me.
On the
$PREFIX
suggestion -- I found https://www.gnu.org/software/make/manual/make.html#Directory-Variables to explain it. That seems reasonable to me.
Can you make a follow up PR?
It would be nice to be able to install this to
/usr/local/bin
easily.