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=8Additional 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
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).
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.
git clone git://git.sv.gnu.org/gcl.git cd gcl git checkout 7e321ad46dbb96449960e5c4cd6605b2af3a971c
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
#!/bin/sh export ACL2_SYSTEM_BOOKS=ACL2_DIR/books exec "ACL2_DIR/ubuntu64-linux-gcl-saved_acl2.gcl" $*
acl2.tar.gzif you download one of these.