ACL2 Version 3.0 Patch for GCL profiling

This page provides a fix for a bug in the procedure for building a profiling ACL2 image on top of GCL. Thanks to Sol Swords for bringing this bug to our attention.

The patch consists of the following two files.

Here is a patch file to place in your ACL2 source directory:
save-gprof-patch.lsp
Here is a replacement for a file already in your ACL2 source directory:
save-gprof.lsp

Now you can follow the directions in (the revised) save-gprof.lsp to build and use a profiling ACL2/GCL image.

(Minor point:) You should avoid running two different ACL2 processes with this same profiling image in the same directory, because the process ID is not used in generated TMP* filenames. If this is a hardship, just send a bug report to let us know.