Two workarounds exist: - Use 'gmake' instead of 'make'. - Build in the source directory.Maybe this is worth documenting in the INSTALL file?
Yes, and it is already documented there. INSTALL says, “With a non-GNU ‘make’, it is safer to compile the package for one system at a time in the source code directory.”