ACL2 Version 3.0 Images

WARNING: The feature :dir :system will probably not work as expected for the distributions below except for the Debian packages. See :DOC include-book.

Executable Image:

For the image below you'll probably want to create a wrapper such as the one shown, replacing DIR by your acl2-sources/ directory. You will need to gunzip the .gz file you download, and make the result and the above-mentioned wrapper executable.

Gzipped Debian Gnu Linux GCL 2.6.7 image (md5sum file)

Here is a wrapper script. Replace ACL2_DIR by your acl2-sources/ directory path, and either replace GCL_DIR by your GCL directory path (something like .../usr/lib/gcl-2.6.7/unixport) or, most likely, it is harmless to omit -dir "GCL_DIR/". #!/bin/sh exec "ACL2_DIR/debian-gnu-linux-gcl-saved_acl2.gcl" -dir "GCL_DIR/"





Complete Packages:

The following packages are available for some versions of ACL2.  When
available, they include everything you need; you do not need to download
acl2.tar.gz if you download one of these.





Debian packages.
Thanks to Camm Maguire for creating and maintaining the Debian packages for
ACL2.



Windows installers.
Windows binary releases are graciously provided from time to time
by Jared Davis.



ACL2 under darwinports for Mac OS X, courtesy of Greg Wright.
Information on darwinports is available from http://darwinports.opendarwin.org.