## 3 Distribution Contents

The file distrib/cil-1.7.3.tar.gz contains the complete source CIL distribution, consisting of the following files:

> Filename | Description
> Makefile.in | configure source for the Makefile that builds CIL/
> configure | The configure script.
> configure.in | The autoconf source for configure.
> config.guess | Stuff required by configure.
> config.sub | idem
> install-sh | idem
> doc/ | HTML documentation of the CIL API.
> obj/ | Directory that will contain the compiled CIL modules and executables.
> bin/cilly | A Perl script that can be invoked with the same arguments as either gcc or Microsoft Visual C and will convert the program to CIL, perform some simple transformations, emit it and compile it as usual.
> lib/patcher | A Perl script that applies specified patches to standard include files.
> src/check.ml,mli | Checks the well-formedness of a CIL file.
> src/cil.ml,mli | Definition of CIL abstract syntax and utilities for manipulating it.
> src/clist.ml,mli | Utilities for efficiently managing lists that need to be concatenated often.
> src/errormsg.ml,mli | Utilities for error reporting.
> src/ext/heapify.ml | A CIL transformation that moves array local variables from the stack to the heap.
> src/ext/logcalls.ml,mli | A CIL transformation that logs every function call.
> src/ext/sfi.ml | A CIL transformation that can log every memory read and write.
> src/frontc/clexer.mll | The lexer.
> src/frontc/cparser.mly | The parser.
> src/frontc/cabs.ml | The abstract syntax.
> src/frontc/cprint.ml | The pretty printer for CABS.
> src/frontc/cabs2cil.ml | The elaborator to CIL.
> src/main.ml | The cilly application.
> src/pretty.ml,mli | Utilities for pretty printing.
> src/rmtmps.ml,mli | A CIL tranformation that removes unused types, variables and inlined functions.
> src/stats.ml,mli | Utilities for maintaining timing statistics.
> src/trace.ml,mli | Utilities useful for printing debugging information.
> ocamlutil/ | Miscellaneous libraries that are not specific to CIL.
> ocamlutil/Makefile.ocaml | A file that is included by Makefile.
> obj/feature_config.ml | File generated by the Makefile describing which extra “features” to compile. See Section 5.
> obj/machdep.ml | File generated by the Makefile containing information about your architecture, such as the size of a pointer.
> src/machdep-ml.c | C program that generates machdep.ml files.