ACL2 Version 3.3 Installation Guide

NOTE: From time to time we may provide so-called incremental releases of ACL2. Please follow the recent changes to this page link on the ACL2 home page for more information.


Easy Install for Linux/Unix/MacOS

  1. Fetch acl2.tar.gz into a new directory, say acl2/v3-3/.
  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:
    make LISP=<path_to_your_lisp_executable>
    
  5. Certify books:
    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