COMP-GCL.html -- ACL2 Version 6.3

### COMP-GCL

compile some ACL2 functions leaving .c and .h files

    Major Section:  COMP

`Comp-gcl` is for use by experts who want to examine the results of GCL compilation, and it may only be used with ACL2 implementations built on top of GCL. It takes exactly the same arguments as `comp`, and has the same basic functionality (see comp), but has two additional effects. First, files `"TMP.lisp"` and `"TMP1.lisp"` are always created, even when a single function is specified. Second, `comp-gcl` always leaves files `"TMP.c"`, `"TMP.h"`, `"TMP1.c"`, and `"TMP1.h"` when compilation is complete.