Re: /usr/ports/ too big?

[David Scheidt]

On Thu, 10 Feb 2000, Donn Miller wrote:

> All these makefiles would go inside of audio.  To do the building each
> port, we can have the "work" be done inside the user's home
> directory.  This would eliminate the need to log in as root in order
> to do the actual building.  The benefits of having the port build

It is already possible to do this.  You simply need to set $WRKDIRPREFIX
and $WRKDIR. 

> inside the user's home directory are:
> 
> * the user could have the option of installing the port in his own
> personal directory, in case the sysadmin doesn't see fit to put the
> port on the system


Already possible.  Set $DESTDIR


The stuff in /usr/ports/Mk is pretty impressive.

David



To Unsubscribe: send mail to [EMAIL PROTECTED]
with "unsubscribe freebsd-current" in the body of the message