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
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:
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
and typing the following, which may take a few minutes to complete.
- 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):
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,
THE ABOVE INSTRUCTIONS MAY BE ALL THAT YOU
NEED. Otherwise, read on....