Re: gmake

[Matias Atria]

On Thu, 6 Jun 2002, Enrico Ng wrote:

> Is there a way to force my make file to use GNU Make, or make it stop if
> someone doesn't use GNU Make?

A little off-topic here, but..

You can rename your real Makefiles as GNUmakefile, and in `Makefile' put
something like

all:
        echo "You need GNU make to build this package." 1>&2
        exit 1

GNU make will use `GNUmakefile' if it sees it, and ignore `Makefile',
while other versions of make will use `Makefile' and ignore
`GNUmakefile'.

Cheers,
M.