[Gcl-devel] ACL2 instructions for obtaining GCL

[Matt Kaufmann]

Hi, Camm --

Below are words about obtaining GCL that are slated to be on the ACL2 Version
2.8 page of installation instructions.  Do they still look accurate?  If you
have a moment, I'd be grateful for any suggestions for improvements; in that
case, perhaps it would be easiest for us both if you simply edit what is below
and send that back to me.

Thanks much --
-- Matt
<P><B><A NAME="Obtaining-GCL">Obtaining GCL</A></B><P>

Gnu Common Lisp (GCL) has probably been the most commonly-used platform for
ACL2, certainly among non-commercial Lisps.  Stable GCL binaries may be fetched
from <code><a
href="http://people.debian.org/~camm/gcl/stable-binary/";>http://people.debian.org/~camm/gcl/stable-binary/</a></code>.
You may also be able to find useful information from the <a
href="http://people.debian.org/~camm/gcl/";>GCL Temporary Distribution Site</a>,
which for example may have a link to the "Latest stable" sources, from which
you can probably compile GCL easily.

GCL maintainer Camm Maguire suggests the following, in order of preference
(most to least):

<ol>
<li>apt-get -q install gcl gcl-doc if running Debian
<li>Download and install the prebuilt binaries otherwise 
<li>Download the latest (stable) source tarball and build yourself otherwise
<li>Download the latest (stable) cvs branch and build yourself
</ol>

<p>

You may also find it useful to visit <a
href="http://www.gnu.org/software/gcl/";>the official GCL distribution site</a>.

<p>

You may obtain recent CVS versions by visiing <code><a
href="ftp://ftp.gnu.org/gnu/gcl/cvs";>ftp://ftp.gnu.org/gnu/gcl/cvs</a></code>,
or by executing the following commands if you have CVS installed on your
system.

<pre>
cvs -d:pserver:address@hidden:/cvsroot/gcl login
cvs -d:pserver:address@hidden:/cvsroot/gcl co gcl
</pre>

If you happen to know a particular version of GCL that you wish to obtain,
perhaps by following GCL mailing lists, you can replace the second command
above by a command such as the following.

<pre>
cvs -d:pserver:address@hidden:/cvsroot/gcl co -r Version_2_6_1 gcl
</pre>