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
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:
- Fetch
acl2.tar.gz into a new directory, say
acl2/v3-6-1/.
- 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 the following, which may take a few minutes to complete.
make LISP=<path_to_your_lisp_executable>
- 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