New build system

[Matthias Kilian]

On Wed, Jan 28, 2009 at 05:56:12PM +0000, Ian Lynagh wrote:
> > If we have a dependency on make 3.81, we ought to check that in configure 
> > (and document it).  Ian - would you mind doing that?  Thanks!
> 
> Hmm, we can't do it in configure, because we don't know if you're about
> to type "make", "gmake" or "/path/to/make".

The only hairy part woult be the "/path/to/make". I could make a
patch for just "make" and "gmake". If anyone is really explicitely
using "/path/to/make" (i.e. not having a proper gmake in his PATH),
I could also add a configure option --with-make=....