-The `--with-gnu-make' option specifies that Makefiles should be
-written to take advantage of special features of GNU Make. GNU Make
-works fine on Makefiles even without this option. This flag just
-allows for simultaneous in-place and --srcdir building.
-