Stable OpenMCL snapshots for ACL2 Users

OpenMCL (Clozure Common Lisp) tends to follow a somewhat chaotic release schedule. "Snapshots" of current development versions that are believed to work with ACL2 are available at the following URLs:

ftp://clozure.com/pub/openmcl-snapshots-for-ACL2/openmcl-darwinppc-snapshot-r7591.tar.gz For PPC MacOS/Darwin, 32 and 64-bit

ftp://clozure.com/pub/openmcl-snapshots-for-ACL2/openmcl-linuxppc-snapshot-r7591.tar.gz For PPC Linux, 32 and 64-bit

ftp://clozure.com/pub/openmcl-snapshots-for-ACL2/openmcl-darwinx8664-snapshot-r7591.tar.gz For x86 MacOS/Darwin, 64-bit only

ftp://clozure.com/pub/openmcl-snapshots-for-ACL2/openmcl-linuxx8664-snapshot-r7591.tar.gz For x86 Linux, 64-bit only

ftp://clozure.com/pub/openmcl-snapshots-for-ACL2/openmcl-freebsdx8664-snapshot-r7591.tar.gz For x86 FreeBSD, 64-bit only

Note that OpenMCL does not currently run in 32-bit mode on x86 hardware.

Users who wish to track OpenMCL development via CVS or SVN may find the information at UpdatingFromSource helpful.