• Top
    • Documentation
    • Books
    • Recursion-and-induction
    • Boolean-reasoning
    • Debugging
    • Projects
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
      • Theories
      • Rule-classes
      • Proof-builder
      • Hons-and-memoization
      • Events
      • History
      • Parallelism
      • Programming
      • Real
      • Start-here
        • Gentle-introduction-to-ACL2-programming
        • ACL2-tutorial
        • About-ACL2
          • Release-notes
          • Version
          • Soundness
          • Acknowledgments
          • Common-lisp
          • Git-quick-start
          • Copyright
          • Building-ACL2
            • Using-extended-ACL2-images
            • Ccl-installation
              • Ccl-installation-extra
              • Ccl-installation-mac-elaborate
              • Ccl-installation-linux-elaborate
              • Ccl-installation-mac-brief
              • Ccl-installation-linux-brief
              • Sbcl-installation
            • ACL2-help
            • Bibliography
        • Debugging
        • Miscellaneous
        • Output-controls
        • Macros
        • Interfacing-tools
      • Interfacing-tools
      • Hardware-verification
      • Software-verification
      • Math
      • Testing-utilities
    • 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 may supersede some of 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. The version below is current as of this writing (April, 2021), but see https://github.com/Clozure/ccl/releases/ for the latest snapshots.

    cd ccl
wget https://github.com/Clozure/ccl/releases/download/v1.12/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.)