Re: make options

Top Page
Attachments:
Message as email
+ (text/plain)
Delete this message
Reply to this message
Author: Jeremy C. Reed
Date:  
To: nathan, Main PLUG discussion list
Subject: Re: make options
On Thu, 20 Apr 2006, Nathan England wrote:

> I'm also looking for some documentation that mentions something about the
> DESTDIR or prefix options when make install is run. Some places say to use
> DESTDIR, others say prefix ... ?


What software?

If it is autoconf/automake based, then the "prefix" is the place you want
to install, such as /usr/local/. The application and its configurations
are built to know that ${prefix}. The DESTDIR is used only during the
installation (never during the build). It is used to do the installation
of the prefix to a staging directory or other location. By default, you
always have a "prefix" and the DESTDIR is empty.

Jeremy C. Reed

echo ':6DB6=88>?;@69876tA=AC8BB5tA6487><' | tr '4-F' 'wu rofIn.lkigemca'
---------------------------------------------------
PLUG-discuss mailing list -
To subscribe, unsubscribe, or to change you mail settings:
http://lists.PLUG.phoenix.az.us/mailman/listinfo/plug-discuss