1 cgcc(1)                          User Commands                         cgcc(1)
   2 
   3 
   4 
   5 NAME
   6        cgcc - Compiler wrapper to run Sparse after compiling
   7 
   8 SYNOPSIS
   9        cgcc [SPARSE OPTIONS]... [COMPILER OPTIONS]... [INPUT FILES]...
  10        make CC=cgcc
  11 
  12 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
  21        system, by using cgcc as the compiler.  For many projects, setting
  22        CC=cgcc on the make command-line will work.
  23 
  24 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 
  32 SEE ALSO
  33        sparse(1)
  34 
  35 
  36 
  37                                                                        cgcc(1)