Skip to content

Commit acd6c69

Browse files
committed
doc: add a csmatch man page
1 parent 6e59459 commit acd6c69

3 files changed

Lines changed: 116 additions & 2 deletions

File tree

doc/CMakeLists.txt

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# Copyright (C) 2014 - 2021 Red Hat, Inc.
1+
# Copyright (C) 2014 - 2022 Red Hat, Inc.
22
#
33
# This file is part of cscppc.
44
#
@@ -32,5 +32,6 @@ if(A2X)
3232
add_man_page(csclng)
3333
add_man_page(cscppc)
3434
add_man_page(csgcca)
35+
add_man_page(csmatch)
3536
add_custom_target(doc ALL DEPENDS ${man_pages})
3637
endif()

doc/csmatch.adoc

Lines changed: 112 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,112 @@
1+
csmatch(1)
2+
=========
3+
:doctype: manpage
4+
5+
NAME
6+
----
7+
csmatch - a compiler wrapper that runs the smatch analyzer in background
8+
9+
10+
SYNOPSIS
11+
--------
12+
*csmatch* ['--help' | '--print-path-to-wrap']
13+
14+
15+
DESCRIPTION
16+
-----------
17+
csmatch is a compiler wrapper that runs smatch in background. Create a
18+
symbolic link to csmatch named as your compiler (gcc, g++, ...) and put it
19+
to your $PATH.
20+
21+
The following parameters are given to smatch by default:
22+
23+
* -D_Float128=long double
24+
25+
The following parameters are passed to smatch from compiler's command line:
26+
27+
* -D...
28+
29+
* -I...
30+
31+
* -O...
32+
33+
* -fexceptions
34+
35+
* -fno-exceptions
36+
37+
* -include ...
38+
39+
* -iquote ...
40+
41+
* -isystem ...
42+
43+
* -m16
44+
45+
* -m32
46+
47+
* -m64
48+
49+
* -std...
50+
51+
The following file extensions are recognized as C/C++ source files:
52+
53+
* c
54+
55+
* C
56+
57+
* cc
58+
59+
* cpp
60+
61+
* cxx
62+
63+
If csmatch is installed on system, the following command activates the wrapper:
64+
-------------------------------------------------
65+
export PATH="`csmatch --print-path-to-wrap`:$PATH"
66+
-------------------------------------------------
67+
68+
69+
OPTIONS
70+
-------
71+
*--help*::
72+
Prints basic usage information.
73+
74+
*--print-path-to-wrap*::
75+
Prints path to the directory with symlinks to the csmatch executable.
76+
77+
78+
EXIT STATUS
79+
-----------
80+
csmatch propagates the exit status returned by the compiler (in case csmatch
81+
succeeds to run the compiler). The exit status returned by smatch does not
82+
affect the resulting exit status.
83+
84+
85+
ENVIRONMENT VARIABLES
86+
---------------------
87+
*DEBUG_CSMATCH*::
88+
If set to a non-empty string, csmatch outputs the list of parameters given
89+
to smatch to the standard output.
90+
91+
*CSMATCH_ADD_OPTS*::
92+
csmatch expects a colon-separated list of smatch options that should be
93+
appended to command line prior to invoking smatch. The options are
94+
appended even if they already appear in the command line and they are
95+
always appended at the end of the command line.
96+
97+
98+
BUGS
99+
----
100+
Please report bugs and feature requests at https://github.com/csutils/cscppc.
101+
102+
103+
AUTHOR
104+
------
105+
Written by Kamil Dudka.
106+
107+
108+
COPYING
109+
-------
110+
Copyright \(C) 2013-2022 Red Hat, Inc. Free use of this software is granted
111+
under the terms of the GNU General Public License (GPL). See the COPYING file
112+
for details.

make-srpm.sh

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
#!/bin/bash
22

3-
# Copyright (C) 2012-2013 Red Hat, Inc.
3+
# Copyright (C) 2012-2022 Red Hat, Inc.
44
#
55
# This file is part of cscppc.
66
#
@@ -206,6 +206,7 @@ done
206206
%files -n csmatch
207207
%{_bindir}/csmatch
208208
%{_libdir}/csmatch
209+
%{_mandir}/man1/csmatch.1*
209210
%doc COPYING
210211
EOF
211212

0 commit comments

Comments
 (0)