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
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).
git clone git://git.sv.gnu.org/gcl.git cd gcl/gcl git checkout Version_2_6_13pre git checkout c9d627c30ec675ee34811781df696a61b9129e97Here is the wrapper script. Replace
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_acl2h.gcl" $*
acl2.tar.gzif you download one of these.