|
NAME | SYNOPSIS | DESCRIPTION | ENVIRONMENT | SEE ALSO | COLOPHON |
|
cgcc(1) General Commands Manual cgcc(1)
cgcc - Compiler wrapper to run Sparse after compiling
cgcc [SPARSE OPTIONS]... [COMPILER OPTIONS]... [INPUT FILES]...
make CC=cgcc
cgcc provides a wrapper around a C compiler (cc by default) which
also invokes the Sparse static analysis tool.
cgcc accepts all Sparse command-line options, such as warning
options, and passes all other options through to the compiler.
By providing the same interface as the C compiler, cgcc allows
projects to run Sparse as part of their build without modifying their
build system, by using cgcc as the compiler. For many projects,
setting CC=cgcc on the make command-line will work.
REAL_CC
If set, cgcc will use this as the compiler to invoke, rather
than the default cc.
CHECK If set, cgcc will use this as the Sparse program to invoke,
rather than the default sparse.
sparse(1)
This page is part of the sparse (a Semantic Parser for C) project.
Information about the project can be found at
⟨https://sparse.wiki.kernel.org/⟩. If you have a bug report for this
manual page, send it to linux-sparse@vger.kernel.org. This page was
obtained from the project's upstream Git repository
⟨https://git.kernel.org/pub/scm/devel/sparse/sparse.git⟩ on
2018-02-02. (At that time, the date of the most recent commit that
was found in the repository was 2018-01-25.) If you discover any
rendering problems in this HTML version of the page, or you believe
there is a better or more up-to-date source for the page, or you have
corrections or improvements to the information in this COLOPHON
(which is not part of the original manual page), send a mail to
man-pages@man7.org
cgcc(1)
Pages that refer to this page: sparse(1)
|
HTML rendering created 2018-02-02 by Michael Kerrisk, author of The Linux Programming Interface, maintainer of the Linux man-pages project. For details of in-depth Linux/UNIX system programming training courses that I teach, look here. Hosting by jambit GmbH.
|
|