1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
<html>
<head><title>COMP-GCL.html -- ACL2 Version 3.1</title></head>
<body text=#000000 bgcolor="#FFFFFF">
<h3>COMP-GCL</h3>compile some ACL2 functions leaving .c and .h files
<pre>Major Section: <a href="COMP.html">COMP</a>
</pre><p>
<p>
<code>Comp-gcl</code> 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 <code><a href="COMP.html">comp</a></code>, and has the same
basic functionality (see <a href="COMP.html">comp</a>), but has two additional effects. First,
files <code>"TMP.lisp"</code> and <code>"TMP1.lisp"</code> are always created, even when a
single function is specified. Second, <code>comp-gcl</code> always leaves files
<code>"TMP.c"</code>, <code>"TMP.h"</code>, <code>"TMP1.c"</code>, and <code>"TMP1.h"</code> when
compilation is complete.
<br><br><br><a href="acl2-doc.html"><img src="llogo.gif"></a> <a href="acl2-doc-index.html"><img src="index.gif"></a>
</body>
</html>
|
