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, which
has potentially more up-to-date information; then you can use the links above
only as needed (e.g., for Linux-specific information or for discussion of
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.