Rename Makefile to GNUMakefile? (was: Re: compiling on FreeBSD)

[David Champion]

> This got me thinking, if we really depend on GNU make specific stuff, would it
> not be a good idea to rename Makefile to GNUMakefile to make it obvious
> that gmake is required?
> 
> Or put some kind of check in Makefile that tells people to use GNU make if
> the required features are not available?

I have a project that (unfortunately) requires GNU make.  We build
on at least one system that has a native non-GNU make, so we have a
GNUMakefile and a Makefile that looks like this:

all target1 target2 target3 target4:
        gmake $*

-- 
 -D.    dgc at uchicago.edu    IT Services    University of Chicago