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. -- Bill Moran Collaborative Fusion Inc.