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
Easy Install for Linux/Unix/MacOS
You now have an ACL2 executable called
acl2.tar.gz into a new directory, say
- Execute the following to create directory
tar xfz acl2.tar.gz
- Obtain a Common Lisp implementation if you don't
already have one.
- Build by connecting to your
acl2-sources/ directory and typing:
- Certify books:
saved_acl2 (from step 4)
and access to certified distributed books (from step 5). Enjoy!
Note: There are many other books available from past ACL2 workshops,
THE ABOVE INSTRUCTIONS MAY BE ALL THAT YOU
NEED. Otherwise, read on....