ACL2 Version 3.6.1 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 certify all books by connecting to the acl2-sources/ directory and executing:

make regression ACL2=<your_ACL2_script>

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 in file installation/installation.html in your extracted acl2-sources directory).

Gzipped Ubuntu Linux GCL images:
- 32-bit image, gzipped (md5sum file)
- 64-bit image, gzipped (md5sum file)
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" $*
```