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.)