Installation-support
Additional support for ACL2 installation
To install ACL2, it will generally suffice to see the summary in
installation-summary. You should read the subtopics below only if that
summary was somehow not sufficient. They provide alternate and additional
information for obtaining and installing ACL2 and associated libraries.
Subtopics
- Creating-executable
- Creating or obtaining an executable image
- Windows-installation
- Installing ACL2 on Windows
- Summary-of-ACL2-system-distribution
- Summary of ACL2 system distribution
- Obtaining-ACL2
- Alternate instructions for obtaining the ACL2 sources and community books
- Running-ACL2-without-executable
- Running ACL2 without building an executable image
