File: installing-make.html

package info (click to toggle)
acl2 8.6%2Bdfsg-2
  • links: PTS
  • area: main
  • in suites: trixie
  • size: 1,111,420 kB
  • sloc: lisp: 17,818,294; java: 125,359; python: 28,122; javascript: 23,458; cpp: 18,851; ansic: 11,569; perl: 7,678; xml: 5,591; sh: 3,976; makefile: 3,833; ruby: 2,633; yacc: 1,126; ml: 763; awk: 295; csh: 233; lex: 197; php: 178; tcl: 49; asm: 23; haskell: 17
file content (73 lines) | stat: -rw-r--r-- 1,784 bytes parent folder | download | duplicates (2)
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>