Re: Is it possible to build `git` such that the install directory and the deployment prefix is not the same?

From: Henry Qin <root@hq6.me>
Date: Nov 28, 2015, 07:58 UTC
Message-ID: <CAO8bsPB98QRDRRftHNvLYafB-_EA_sbLMmB5SxxEjY+uRhKKCg@mail.gmail.com>
In-Reply-To: <xmqqmvty8soc.fsf@gitster.mtv.corp.google.com>

Thanks a lot, Junio and Dennis!

~Henry

On Fri, Nov 27, 2015 at 11:47 PM, Dennis Kaarsemaker <dennis@kaarsemaker.net> wrote:

Show 14 quoted lines

> On vr, 2015-11-27 at 23:19 -0800, Henry Qin wrote:
>
>> Is there a way to specify during either configure or make that I want
>> a different path for actual deployment, such as /usr/bin/local, but
>
> There is, using the DESTDIR variable:
>
> make PREFIX=/usr/local
> DESTDIR=$(PWD)/dist make install
> --
> Dennis Kaarsemaker
> www.kaarsemaker.net
>
>

On Fri, Nov 27, 2015 at 11:54 PM, Junio C Hamano <gitster@pobox.com> wrote:

Show 19 quoted lines

> Henry Qin <root@hq6.me> writes:
>
>> Here is the question, copied below for your convenience:
>>
>> """
>> I am attempting to build git from source, and I would like make
>> install to put the binaries into a directory called dist in my source
>> directory, so I use the following configure line.
>>
>> ./configure --prefix=`pwd`/dist
>
> You probably want to use DESTDIR instead, e.g.
>
>     $ make prefix=/usr/local DESTDIR=/var/tmp/dest
>
> The standard way to phrase your question is "how do I 'make install'
> to install to a fake location so that I can tar up the result into a
> tarball?" (the key part being "so that..."), I think.
>