Installing Clozure Common Lisp (CCL)
For those who use ACL2 built on CCL as the host Common Lisp implementation, it has been common practice to use the latest GitHub version of CCL. We provide the following instructions for you to choose from. The ``brief'' instructions for Linux or Mac (according to your operating system) might well suffice; the ``elaborate'' instructions have helped with version control.
You may prefer instead to look at the CCL Releases page, using
links above only as needed (e.g., for Linux-specific information or for
One of the links listed above should generally suffice. But if you would like additional information on CCL installation and implementation, see ccl-installation-extra.