Re: [PATCH 1/4] Document new hard requirement on GNU make

[Eli Zaretskii <eliz@gnu.org>]

> From: Simon Marchi <simon.marchi@ericsson.com>
> CC: Simon Marchi <simon.marchi@polymtl.ca>
> Date: Wed, 16 Nov 2016 11:08:05 -0500
> 
> As discussed in [1], it would be benificial for the GDB project to start
> requiring GNU make to build its software.  It would allow using useful
> GNU-specific constructs, such as pattern rules.  It would also allow
> removing the alternative code paths in the Makefiles (guarded by
> GMAKE_TRUE/GMAKE_FALSE), simplifying the Makefile code.
> 
> [1] https://sourceware.org/ml/gdb-patches/2016-11/msg00331.html
> 
> gdb/ChangeLog:
> 
> 	* NEWS: Mention requirement of GNU make.
> ---
>  gdb/NEWS | 5 +++++
>  1 file changed, 5 insertions(+)
> 
> diff --git a/gdb/NEWS b/gdb/NEWS
> index a6b1282..d76ea81 100644
> --- a/gdb/NEWS
> +++ b/gdb/NEWS
> @@ -11,6 +11,11 @@
>    compiler.  The --disable-build-with-cxx configure option has been
>    removed.
>  
> +* Building GDB and GDBserver now requires GNU make.
> +
> +  It is no longer supported to build GDB or GDBserver with another
> +  implementation of the make program.
> +

OK.

Should we decide which oldest version of GNU Make we are willing to
support?  IOW, which features do we need for the build?

Thanks.