1cgcc(1)                     General Commands Manual                    cgcc(1)
2
3
4

NAME

6       cgcc - Compiler wrapper to run Sparse after compiling
7

SYNOPSIS

9       cgcc [SPARSE OPTIONS]... [COMPILER OPTIONS]... [INPUT FILES]...
10       make CC=cgcc
11

DESCRIPTION

13       cgcc  provides a wrapper around a C compiler (cc by default) which also
14       invokes the Sparse static analysis tool.
15
16       cgcc accepts all Sparse command-line options, such as warning  options,
17       and passes all other options through to the compiler.
18
19       By providing the same interface as the C compiler, cgcc allows projects
20       to run Sparse as part of their build without modifying their build sys‐
21       tem, by using cgcc as the compiler.  For many projects, setting CC=cgcc
22       on the make command-line will work.
23

ENVIRONMENT

25       REAL_CC
26              If set, cgcc will use this as the  compiler  to  invoke,  rather
27              than the default cc.
28
29       CHECK  If  set,  cgcc  will  use  this as the Sparse program to invoke,
30              rather than the default sparse.
31

SEE ALSO

33       sparse(1)
34
35
36
37                                                                       cgcc(1)
Impressum