Re: configure, make, etc

Leon Bottou wrote:
> I am reading debian/rule and observe that it works 
> by first doing:
>   configure --prefix=${DESTDIR}/usr mandir=...
> then
>   make
> then 
>   make install

That's essentially correct, except for the minor point that it uses
"make all" rather than just "make"

> This is because the lush makefiles do not 
> support the DESTDIR variable popularized by automake.
> Maybe we should fix this because people seem to expect it.

Yes, that is a common way to set the final destination with the
configure script.

> Here is the way we imagine the build sequence:
> First do
>   configure --prefix=/usr
> then 
>   make all
> then
>   make install-nolink prefix=${DESTDIR}/usr mandir=...
> 
> Comments ?

That's different from the GNU standard idiom, but I'm very glad to use
that form. Indeed, your method of using two directories settings makes
sense since the final location of the files (/usr) is different from
the build installation directory $(DESTDIR)/usr.

I'll be glad to modify debian/rules to try that form.

-- 
       Kevin Rosenberg        |  .''`.  ** Debian GNU/Linux **
  http://b9.com/debian.html   | : :' :      The  universal
  GPG signed and encrypted    | `. `'      Operating System
     messages accepted.       |   `-    http://www.debian.org/


-------------------------------------------------------
This SF.NET email is sponsored by:
SourceForge Enterprise Edition + IBM + LinuxWorld = Something 2 See!
http://www.vasoftware.com