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.

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.