Re: Makefile-ish init and ideas
On Fri, Aug 11, 2000 at 06:49:09PM +0200, Marcus Brinkmann wrote:
> On Fri, Aug 11, 2000 at 01:07:10AM -0400, Igor Khavkine wrote:
> > Also a directly relevant question is whether it's worth considering replacing
> > make which might already be old enough to retire.
> You jest! ;)
I wonder what Roland has to say about this since he's one of the authors of
> > And if Hurd isn't a place
> > for innovation, then what is.
> You know, make is a tool for development. The Hurd is an Operating System.
> There is no connection at all, except that the Hurd uses make in its build
Yes, that's true. But we are also talking about Debian GNU/Hurd, which is a
distribution. And one of the roles of a distribution and its packages is to
set policy. Right now the official policy for the hurd package is to be built
using make. This policy could very well change. And whether it should change
is a relevant point for discussion.