On Thu, Jan 28, 2021 at 08:39:40PM +0100, shirenn wrote:
> On Thu, 2021-01-28 at 17:56 +0100, Hiltjo Posthuma wrote:
> >
> > It would be nice if the Makefile respects $DESTDIR also (can be a separate patch).
> >
>
> Curently the destination directories are determined by these variables
> located in the config.mk file :
>
> PREFIX = /usr/local
> BINDIR = ${PREFIX}/bin
> MANDIR = ${PREFIX}/share/man
> MAN1DIR = ${MANDIR}/man1
>
> I think it is an standard enough way to define the destinations no ?
> Kind of knew to make file though.
>
> Bests,
>
> --
> shirenn
$DESTDIR is common and useful for example for packagers/porters to build using
a certain PREFIX (/usr/local), but install it in a build directory.
--
Kind regards,
Hiltjo
Received on Fri Jan 29 2021 - 12:15:17 CET