Thanks a lot, Junio and Dennis! ~Henry
On Fri, Nov 27, 2015 at 11:47 PM, Dennis Kaarsemaker <den...@kaarsemaker.net> wrote: > 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 <gits...@pobox.com> wrote: > Henry Qin <r...@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. > -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
