On 2009/08/17 16:54, frantisek holop wrote:
> hmm, on Mon, Aug 17, 2009 at 03:38:21PM +0100, Stuart Henderson said that
> > On 2009/08/17 02:29, frantisek holop wrote:
> > > hi there,
> > >
> > > now that all ports are being built in /usr/ports/obj,
> > > is SEPARATE_BUILD still relevant?
> >
> > yes, "make clean=build" can be much quicker than "make clean; make patch".
> >
> > > is it possible to redirect this directory (to a bigger
> > > disk perhaps) using /etc/mk.conf?
> >
> > exactly the same as before, set WRKOBJDIR. and if you prefer to put
> > work directories through the ports tree (e.g. so you can cd to them
> > more easily) just set WRKOBJDIR=
>
> great info, this should definitely be in the man page imho...
you're right.
is this any good, would anyone like to suggest improvements?
Index: bsd.port.mk.5
===================================================================
RCS file: /cvs/src/share/man/man5/bsd.port.mk.5,v
retrieving revision 1.233
diff -u -p -r1.233 bsd.port.mk.5
--- bsd.port.mk.5 12 Aug 2009 22:40:54 -0000 1.233
+++ bsd.port.mk.5 17 Aug 2009 19:51:08 -0000
@@ -1926,6 +1926,8 @@ The real working directory ${WRKDIR} is
Can be set on a per-${PKGPATH} basis.
For instance, setting WRKOBJDIR_www/mozilla=/tmp/obj
will affect only the mozilla port.
+If explicitly unset (WRKOBJDIR=), the working directory is
+created in the directory containing the port.
.It Ev X11BASE
Where X11 has been installed (default: /usr/X11R6).
.It Ev XMKMF
