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
- Fetch
acl2.tar.gz into a new directory, say
acl2/v3-4/
.
- Execute the following to create directory
acl2-sources/
:
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:
make LISP=<path_to_your_lisp_executable>
- 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