		Search-engine friendly clone of the ACL2 documentation.

Ccl-installation

Ccl-installation-linux-brief

Installing Clozure Common Lisp (CCL) on Linux (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 Linux. For more elaborate ``cookbook'' instructions see ccl-installation-linux-elaborate.

Note: Linux users may need to install m4.

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
wget https://github.com/Clozure/ccl/releases/download/v1.12.2/linuxx86.tar.gz
tar xfz linuxx86.tar.gz

Rebuild and quit, twice.

echo '(rebuild-ccl :full t)' | ./lx86cl64
echo '(rebuild-ccl :full t)' | ./lx86cl64

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.)