Obtaining-ACL2
Alternate instructions for obtaining the ACL2 sources and community books
This topic may be avoided by reading the installation summary: see
installation-summary, which is intended to be self-contained.
(First, a note for Windows users only: we suggest that you obtain a
Unix-like environment or, at least, download a utility such as
djtarnt.exe to use with the -x option on gzipped tarfiles. WARNING:
At least one user experienced CR/LF issues when using WinZIP, but we have
received the suggestion that people untarring with that utility should
probably turn off smart cr/lf conversion.)
Create a directory under which to store ACL2. Then follow the steps below,
to obtain the ACL2 sources and the associated libraries (see community-books).
- Download acl2-8.6.tar.gz.
- While standing in the directory where you did that download, execute the
following Unix/Linux shell commands to obtain the ACL2 system and community
books. (Note: Gnu tar is preferred, as there have been some problems
with long file names when using at least one other tar program. You may want
to use the -i option, tar xpvfi 8.6.tar, if you have problems with
other than Gnu tar. You can see if you have Gnu tar by running tar -v.)
The resulting tarball and its extracted directory may consist of 230M+ bytes
and 1100M+ bytes, respectively. Additional space is required to build an
executable image, for example, 170M+ bytes if you use CCL and 230M bytes if
you use SBCL; and considerably more will be required to certify books.
tar xfz acl2-8.6.tar.gz
rm acl2-8.6.tar.gz
cd acl2-8.6
Note: You can also fetch the latest GitHub distribution the ACL2
system and the community books, as shown below.
git clone https://github.com/acl2/acl2
Moreover, you can contribute books by
joining the GitHub project.
