Peter Galbavy <peter.galbavy@knowtion.net> 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
