Re: [Discuss-gnuradio] Does anybody care if we require gmake?

[Greg Troxel]

  I'm thinking about requiring GNU make (gmake), instead of trying to
  work with whatever make we find.

  If we do require gmake, is anybody going to have any heartburn?

I don't think it's that big a deal to require GNU make.  There are lots
of dependencies already, and it's likely that some of them already
require GNU make.  It's too bad to lose portability to 'reasonable
make', but it seems that BSD make and GNU make have incompatible
extensions and various things are hard to do staying in the subset.

I would expect that any NetBSD system that has the prereqs for GNU Radio
installed will already have GNU make installed, or else if the prereqs
are from binary packages gmake could be installed as well.

It will be important that there be no use of 'make' in the makefiles for
recursion, and that we use $(MAKE) or whatever the right incantation is
so that gmake is invoked, rather than 'make' which is BSD make on BSD
systems, and probably some native make on Solaris.