Re: Using GNU Make

[Reuben Thomas]

On Sat, 4 Apr 2009, Ralf Wildenhues wrote:

> * Reuben Thomas wrote on Sat, Apr 04, 2009 at 01:44:48PM CEST:
> > I would imagine an AC_MAKE_GNU (or somesuch) that looks at make's help
> > output, then tries gmake (and gnumake?) if make is not GNU Make.
> >
> > Oh, and I've just found "check_gnu_make.m4" in autoconf-archive.
>
> Ah, I didn't know this macro before.
>
> You'd still have to convince the user to actually use the GNU make that
> was found though.

Yes, I hadn't thought that of course "make" is the one command that one 
actually types that is not under the control of configure. Drat.

--
http://rrt.sc3d.org/ | priest, n.  an unpaid lawyer (q.v.)