Stable Clozure CL releases for ACL2 Users

The following compressed tar archives contain full Clozure CL sources and binaries and auxiliary files for the indicated platforms.

ftp://clozure.com/pub/release/1.2/clozurecl-1.2-darwinppc.tar.gz For PPC MacOS/Darwin, 32 and 64-bit

ftp://clozure.com/pub/release/1.2/clozurecl-1.2-linuxppc.tar.gz For PPC Linux, 32 and 64-bit

ftp://clozure.com/pub/release/1.2/clozurecl-1.2-darwinx8664.tar.gz For x86 MacOS/Darwin, 64-bit only

ftp://clozure.com/pub/release/1.2/clozurecl-1.2-linuxx8664.tar.gz For x86 Linux, 64-bit only

ftp://clozure.com/pub/release/1.2/clozurecl-1.2-freebsdx8664.tar.gz For x86 FreeBSD, 64-bit only

Note that released versions of Clozure CL do not currently run in 32-bit mode on x86 hardware.

These tar archives also contain SVN metainformation in SVN 1.4 format. If you use another version of SVN or otherwise prefer to do so, it's possible to use SVN's 'checkout' command to obtain a working copy equivalent to the contents of those tar archives via:

shell> svn co http://svn.clozure.com/publicsvn/openmcl/release/1.2/PLATFORM/ccl

where PLATFORM is one of "darwinppc", "linuxppc", "darwinx8664", "linuxx8664", or "freebsdx8664", as above.

The main page of this site contains links to other resources describing how to install, configure, and use Clozure CL.