ACL2 Version 6.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 regression ACL2=<your_ACL2_script> ACL2_JOBS=8

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

Ubuntu 64-bit Linux images:
We provide images built on two GCL distributions, one (2.6.8) that we understand is completed, the other (2.6.10pre) nearly so and perhaps more in line with the future of GCL. See also our performance comparisons results page.
- GCL 2.6.8 sources used in building the first image below are available from:
  ftp://ftp.gnu.org/pub/gnu/gcl/gcl-2.6.8.tar.gz
- GCL 2.6.10pre sources used in building the second image below are available using the following steps.
```
git clone git://git.sv.gnu.org/gcl.git
cd gcl
git checkout 7e321ad46dbb96449960e5c4cd6605b2af3a971c
```
Here are the images and corresponding md5sum files.
- 64-bit image, gzipped, built on GCL 2.6.8
  (corresponding md5sum file)
- 64-bit image, gzipped, built on GCL 2.6.10pre
  (corresponding md5sum file)
In the following wrapper script, replace ACL2_DIR by your acl2-sources/ directory path. This script is for the first (GCL 2.6.8) image above; for the second, change the filename to ubuntu64-linux-gcl-2.6.10pre-saved_acl2.gcl.
```
#!/bin/sh
export ACL2_SYSTEM_BOOKS=ACL2_DIR/books
exec "ACL2_DIR/ubuntu64-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.