ACL2 Version 6.2 Images

Executable Images

NOTE: Executable images for GCL may appear below in mid-June, 2013.

Although the executable images below (when their links ultimately appear; see above!) can be used as is, we strongly recommend that you first obtain the ACL2 sources. Then obtain images as explained below. Finally, you can then obtain the community books and certify all books by connecting to the acl2-sources/ directory and executing, for example

make regression ACL2=<your_ACL2_script>

or, if you have 8 hardware threads:

make regression ACL2=<your_ACL2_script> ACL2_JOBS=8

Additional images may appear on this site from time to time.

NOTE: In some cases, you may be better served by downloading or creating a more recent underlying Lisp executable and then building ACL2 from sources (following the installation instructions).

NOTE: As mentioned above, executable images for GCL may appear below in mid-June, 2013.

Windows images:
Please see the ACL2 on Windows page.

Complete Packages:

Click here for information on complete packages. When available, they include everything you need; you do not need to download acl2.tar.gz if you download one of these.