		Search-engine friendly clone of the ACL2 documentation.

Ccl-installation

Ccl-installation-mac-brief

Installing Clozure Common Lisp (CCL) on Mac (brief version)

NOTE: See the Clozure CL releases page for the latest information, which probably supersedes what is included below.

See ccl-installation for introductory remarks. The instructions below describe how to install CCL on a Mac (Darwin). For more elaborate ``cookbook'' instructions see ccl-installation-mac-elaborate.

Fetch CCL from GitHub into a fresh subdirectory, ccl/.

git clone https://github.com/Clozure/ccl

Next fetch and extract a development snapshot in the new ccl directory. WARNING. The version below is current as of this writing (November, 2023), but see https://github.com/Clozure/ccl/releases/ for the latest snapshots; in particular, "v1.12.2" below could change, e.g., to "v1.12.3" or "v1.13".

cd ccl
curl -O -L https://github.com/Clozure/ccl/releases/download/v1.12.2/darwinx86.tar.gz
tar xfz darwinx86.tar.gz

Rebuild the lisp kernel by hand before trying to rebuild the lisp.

cd lisp-kernel/darwinx8664; make clean; make
cd -

Rebuild and quit, twice.

echo '(rebuild-ccl :clean t)' | ./dx86cl64
echo '(rebuild-ccl :clean t)' | ./dx86cl64

Create the following executable script, which you will probably want to name "ccl", where <DIR> is the absolute pathname (without using ``~'') of the directory in which you issued the ``git clone'' command. Place this script wherever you wish, though putting it in a directory on your Unix PATH might be helpful (since then you can invoke it as, say "ccl").

#!/bin/sh

export CCL_DEFAULT_DIRECTORY=<DIR>/ccl
${CCL_DEFAULT_DIRECTORY}/scripts/ccl64 "$@"

You're done! (Note however that certification of books that use Quicklisp may require openssl to be installed if it is not already on your system.)