Subject: Re: bin/2932:
To: Todd Vierling <tv@pobox.com>
From: Erik Bertelsen <erik@sockdev.uni-c.dk>
List: current-users
Date: 09/30/1997 22:37:21
On Tue, 30 Sep 1997, Todd Vierling wrote:

.. It costs much less if it's not there.  Try the other option given--a
.. lowercase `makefile' in the target directory with the contents below will
.. suffice nicely, and let you zero in on _any_ directory in the tree you don't
.. want built.  Voila!  And you didn't even have to _touch_ /etc/mk.conf.  You
.. could even put this somewhere like /usr/src/makefile.skip, and symlink to
.. it.

This will cause problems if /usr/src is shared between several machines
with different requirements for which programs are to be installed.

Actually Curt might be right here: the current build system has been
built from many pieces and sources and need to redesigned. If that is
done, I recommend to provide some mechanism for allowing a machine to
only install those programs that it need.

- Erik Bertelsen