ACL2 Version 3.6 Installation Guide

NOTE: We recommend that in place of the link to acl2.tar.gz in the installation instructions below, you instead obtain the latest incremental release, ACL2 Version 3.6.1.

Easy Install for Linux/Unix/MacOS

NOTE: A quicker and even easier install may be possible, by instead obtaining a pre-built binary distribution if one is available for your platform. Otherwise:
  1. Fetch acl2.tar.gz into a new directory, say acl2/v3-6/.
  2. Execute the following to create directory acl2-sources/:
    tar xfz acl2.tar.gz
    
  3. Obtain a Common Lisp implementation if you don't already have one.
  4. Build by connecting to your acl2-sources/ directory and typing the following, which may take a few minutes to complete.
    make LISP=<path_to_your_lisp_executable>
    
  5. Certify books (this may take a few hours; you can speed this up with the option -j N if you have an N-core machine, N>1):
    make regression
    
You now have an ACL2 executable called saved_acl2 (from step 4) and access to certified distributed books (from step 5). Enjoy!

Note: There are many other books available from ACL2 workshops, available here.


THE ABOVE INSTRUCTIONS MAY BE ALL THAT YOU NEED. Otherwise, read on....

More Information