ACL2 Version 8.3 Images

Executable Images

Although the executable images below 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 -j 8 regression ACL2=<your_ACL2_script>

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

For the images below you should create executable wrapper scripts such as the ones shown, and you will need to run gunzip on the .gz file that you download.

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).

Here are links to a gzipped Ubuntu Linux GCL image and a corresponding md5sum file.
Note: The 64-bit Linux ACL2 image below is built on a version of GCL 2.6.12, whose sources may be obtained as follows:
```
git clone git://git.sv.gnu.org/gcl.git
cd gcl/gcl
git checkout Version_2_6_13pre
git checkout 06ff2db0d0120f23c02d99112f02fdd86197073e
```
Here is the wrapper script. Replace ACL2_DIR by your acl2-sources/ directory path. For the 64-bit version, replace ``ubuntu'' with ``ubuntu64''.
```
#!/bin/sh
export ACL2_SYSTEM_BOOKS=ACL2_DIR/books
exec "ACL2_DIR/ubuntu-linux-gcl-saved_acl2.gcl" $*
```

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.