ACL2 Version 7.1 Installation Guide: Installing Make

# Installing Make

We have seen problems with Version 3.81 of GNU make on Linux (though not on a Mac). (And in builds with Allegro Common Lisp on 32-bit Linux we have seen problems with GNU make version 3.80 that seemed to be solved with version 3.81.)

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.)

1. Change to a directory under which you will put make 3.80:

       mkdir Make
       cd Make

2. Download GNU make version 3.80 from:

   `http://ftp.gnu.org/pub/gnu/make/make-3.80.tar.gz`

3. Extract/build/install:

       tar xfz make-3.80.tar.gz
       cd make-3.80
       ./configure
       make

4. Arrange that the new make 3.80 is your default make. For example, if ~/bin at (or sufficiently near) the front of your `PATH` and `DIR` is the directory in which you downloaded `make-3.80.tar.gz` as above, you can do this:

       ln -s DIR/Make/make-3.80/make make
       rehash

5. Test that you have installed make 3.80 as your default make. The following should print "`GNU Make 3.80`".

       make --version

[Back to Installation Guide.]