Re: [Gcl-devel] ACL2 instructions for obtaining GCL

[Camm Maguire]

Hi Matt!  This looks very good.  It will be slightly different when
2.6.2 is released, as I'd like to get the binaries back up on
ftp.gnu.org.  For some period of time it will probably be wise to
maintain the backup sites as well.  It might be several more days, but
once I get the binaries in place, I'll edit this for you and let you
know what I got working.

Take care,

Matt Kaufmann <address@hidden> writes:

> 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>
> 
> 
> 
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/gcl-devel
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah