Toma Vailikit writes:
> The Install readmes specifically say to use gmake. gmake and make are
> two different animals. Good luck.
The INSTALL file specifically says
On GNU/Linux systems GNU make is the default tool with the name make.
--
Peter Eisentraut peter_e(at)gmx(dot)net http://funkturm.homeip.net/~peter