Here are instructions for installing Version 3.80 of GNU make on linux that worked for us. (Note: We have both 32-bit and 64-bit OS machines on your filesystem, and after we did the following on a 32-bit machine, we could use make 3.80 on either 32-bit or 64-bit machines.)
mkdir Make cd Make
tar xfz make-3.80.tar.gz cd make-3.80 ./configure make
DIRis the directory in which you downloaded
make-3.80.tar.gzas above, you can do this:
ln -s DIR/Make/make-3.80/make make rehash
GNU Make 3.80".
[Back to Installation Guide.]