|
|
|---|
|
|
|
|---|
Pre-built binary distributions of ACL2
Visit the “Recent changes to this page” link on the ACL2 home page to see if there are other shortcuts available.
WARNING: Some of these packages might be for old versions of ACL2. We recommend that you use the latest version of ACL2 (Version 8.5).
The ACL2 Sedan (see ACL2-sedan), also known as ACL2s, is an Eclipse-based IDE for ACL2 that is distributed with pre-certified books and pre-built binaries, though it is not always based on the latest ACL2 version. The ACL2 Sedan is distributed via a Homebrew package for Linux and macOS users, and as a Windows Subsystem for Linux distro for Windows users.
See ACL2s::ACL2s-installation for instructions for installing the ACL2 Sedan. Note that these instructions are typically intended for students at Northeastern, but hopefully are useful for anyone interested in installing ACL2s.
In the past, a Windows Installer for ACL2 has included a Unix environment, pre-certified standard and workshop books, and a copy of Gnu Emacs. This capability has largely been superseded in the installation instructions' section on Building an Executable Image on Some Particular Systems. See also windows-installation.
ACL2 versions are sometimes been made available under MacPorts.
Some folks maintain a Homebrew package that tracks the latest stable version of ACL2.
A Debian Gnu Linux package is available, which is likely to work on other
Linux systems as well. Thanks to Camm Maguire for maintaining this package,
and for pointing out that as Debian packages are simply ar and tar archives,
they can be unpacked on any linux system, and who has said: “If someone
is running Debian, all they want to do is 'apt-get install acl2', doing
likewise for any optional add-on package they wish as well, e.g. emacs, infix,
etc.” Alternatively, Debian GNU Linux users may wish to download the ACL2 Debian
package for Linux. An alternate location you might want to check is
Some folks maintain Docker images for ACL2. Below is a nonexhaustive list of such images; feel free to add to this list. DH refers to Docker Hub and GHCR refers to the GitHub Container Registry.