Peter Galbavy <[EMAIL PROTECTED]> writes:
> So, is there an effort to not require GNU make then ?

No, that's not relevant.  GNU make is a tool, not part of the end
result.

A more interesting question is Autoconf, which we also depend on
as a build tool, and which does copy parts of itself into the
distributed product.  However, Autoconf explicitly releases its
output scripts as entirely free software, not GPL code.

                        regards, tom lane

---------------------------(end of broadcast)---------------------------
TIP 7: don't forget to increase your free space map settings

Reply via email to