Sharing ports tree, possible?

[Bill Moran]

Chris Whitehouse <chris at childeric.freeserve.co.uk> wrote:
>
> Bill Moran wrote:
> > In response to Simon Gao <gao at schrodinger.com>:
> > 
> >> Is it possible to share ports tree directory? If so, what's the procedure?
> > 
> > Yes.  You generally want to set WRKDIRPREFIX to something like /var/ports
> > or /usr/obj to ward off conflicts.  Otherwise, just put it on an NFS server
> > an NFS mount it.
> > 
>   using mount_nfs -L ?

I'm not 100% sure if -L is required, since there shouldn't be any locking
when you use WRKDIRPREFIX.

If you see locking problems, add it.  Actually, you can mount /usr/ports
ro if you set WRKDIRPREFIX.  Unless you want to fetch distfiles on the
client machines, but you can work around that as well with a different
environment variable (name escapes me at the moment).

-Bill