1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73
|
<HTML>
<HEAD><TITLE>ACL2 Version 8.6 Installation Guide: Installing Make</TITLE></HEAD>
<BODY TEXT="#000000" BGCOLOR="#FFFFFF" STYLE="font-family:'Verdana'">
<H1>Installing Make</A></H1>
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.)
<p>
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.)
<ol>
<li>
Change to a directory under which you will put make 3.80:
<pre>
mkdir Make
cd Make
</pre>
</li>
<li>
Download GNU make version 3.80 from:<p>
<code><a href="http://ftp.gnu.org/pub/gnu/make/make-3.80.tar.gz">http://ftp.gnu.org/pub/gnu/make/make-3.80.tar.gz</a></code><p>
</li>
<li>
Extract/build/install:
<pre>
tar xfz make-3.80.tar.gz
cd make-3.80
./configure
make
</pre>
</li>
<li>
Arrange that the new make 3.80 is your default make. For example, if
~/bin at (or sufficiently near) the front of your <code>PATH</code>
and <code>DIR</code> is the directory in which you downloaded
<code>make-3.80.tar.gz</code> as above, you can do this:
<pre>
ln -s DIR/Make/make-3.80/make make
rehash
</pre>
</li>
<li>
Test that you have installed make 3.80 as your default make. The
following should print "<code>GNU Make 3.80</code>".
<pre>
make --version
</pre>
</li>
</ol>
<p>
<b><font size="+2">[<a href="installation.html">Back to Installation Guide.</a>]</font></b>
<BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR>
</BODY>
</HTML>
|