[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201.dfsg-19-g6218487
Mehdi Dogguy
dogguy at pps.jussieu.fr
Wed May 20 15:57:45 UTC 2009
The following commit has been merged in the master branch:
commit f7179f3cb2ff9800ecb7a01e64ca2fd67ba30e30
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date: Wed May 20 16:23:10 2009 +0200
Fix a little bug in generate-man
diff --git a/debian/man/frama-c-gui.1 b/debian/man/frama-c-gui.1
index 981feca..4c8ef6e 100644
--- a/debian/man/frama-c-gui.1
+++ b/debian/man/frama-c-gui.1
@@ -99,11 +99,6 @@ level of debug (defaults to 0)\&.
.RE
.SS "SYNTACTICAL TOOLS"
.PP
-\fB\-debug n\fR
-.RS 4
-level of debug (defaults to 0)\&.
-.RE
-.PP
\fB\-print\fR
.RS 4
pretty print original code with its comments\&.
@@ -150,11 +145,6 @@ print some metrics into the specified file\&.
.RE
.SS "DYNAMIC (EXPERIMENTAL)"
.PP
-\fB\-metrics\-dump <s>\fR
-.RS 4
-print some metrics into the specified file\&.
-.RE
-.PP
\fB\-add\-path path\fR
.RS 4
add a search path for dynamic plugins
@@ -171,11 +161,6 @@ use \'\-dynamic\-debug \-help\' to get information about sub\-options
.RE
.SS "FILES"
.PP
-\fB\-dynamic\-debug sub\-options\fR
-.RS 4
-use \'\-dynamic\-debug \-help\' to get information about sub\-options
-.RE
-.PP
\fB\-cpp\-command CPP\fR
.RS 4
CPP string is used to build the preprocessing command\&.
@@ -215,22 +200,12 @@ use \'\-files\-debug \-help\' to get information about sub\-options
.RE
.SS "MEMZONES (EXPERIMENTAL)"
.PP
-\fB\-files\-debug sub\-options\fR
-.RS 4
-use \'\-files\-debug \-help\' to get information about sub\-options
-.RE
-.PP
\fB\-memzones\fR
.RS 4
force memzones display (undocumented)
.RE
.SS "OCCURRENCE"
.PP
-\fB\-memzones\fR
-.RS 4
-force memzones display (undocumented)
-.RE
-.PP
\fB\-occurrence\fR
.RS 4
print results of occurrence analysis
@@ -242,11 +217,6 @@ use \'\-occurrence\-debug \-help\' to get information about sub\-options
.RE
.SS "CALLGRAPH"
.PP
-\fB\-occurrence\-debug sub\-options\fR
-.RS 4
-use \'\-occurrence\-debug \-help\' to get information about sub\-options
-.RE
-.PP
\fB\-cg FILENAME\fR
.RS 4
dump a stratified call graph to FILENAME in dot format
@@ -258,11 +228,6 @@ use this function as a root service (you can add as many functions as you want;
.RE
.SS "VALUE ANALYSIS"
.PP
-\fB\-cg\-init\-func FUNCTION\fR
-.RS 4
-use this function as a root service (you can add as many functions as you want; if no function is declared, then root services are initialized with functions with no callers)
-.RE
-.PP
\fB\-val\fR
.RS 4
force values computations
@@ -349,11 +314,6 @@ use \'\-val\-debug \-help\' to get information about sub\-options
.RE
.SS "FUNCTIONAL DEPENDENCIES"
.PP
-\fB\-val\-debug sub\-options\fR
-.RS 4
-use \'\-val\-debug \-help\' to get information about sub\-options
-.RE
-.PP
\fB\-deps\fR
.RS 4
force dependencies display
@@ -365,22 +325,12 @@ force callsite\-wise dependencies (through value analysis)
.RE
.SS "USERS"
.PP
-\fB\-calldeps\fR
-.RS 4
-force callsite\-wise dependencies (through value analysis)
-.RE
-.PP
\fB\-users\fR
.RS 4
compute users (through value analysis)
.RE
.SS "SEMANTIC CONSTANT FOLDING"
.PP
-\fB\-users\fR
-.RS 4
-compute users (through value analysis)
-.RE
-.PP
\fB\-semantic\-const\-folding\fR
.RS 4
force semantic constant propagation and pretty print the new source code\&.
@@ -397,11 +347,6 @@ allow introduction of new casts from a folded constant\&.
.RE
.SS "INOUT (EXPERIMENTAL)"
.PP
-\fB\-cast\-from\-constant\fR
-.RS 4
-allow introduction of new casts from a folded constant\&.
-.RE
-.PP
\fB\-inout\fR
.RS 4
force operational inout display; this gives the operational inputs, an over\-approximation of the set of locations whose initial value is used; and the sure outputs, an under\-approximation of the set of writen tsets
@@ -433,22 +378,12 @@ force display of operational inputs computed in a linear pass\&. Function parame
.RE
.SS "SEMANTIC CALLGRAPH"
.PP
-\fB\-input_with_formals\fR
-.RS 4
-force display of operational inputs computed in a linear pass\&. Function parameters are displayed, locals are not\&.
-.RE
-.PP
\fB\-scg\-dump\fR
.RS 4
dump the semantic call graph to stdout
.RE
.SS "SECURITY (EXPERIMENTAL)"
.PP
-\fB\-scg\-dump\fR
-.RS 4
-dump the semantic call graph to stdout
-.RE
-.PP
\fB\-security\-analysis\fR
.RS 4
perform security analysis
@@ -485,11 +420,6 @@ use \'\-security\-debug \-help\' to get information about sub\-options
.RE
.SS "IMPACT (EXPERIMENTAL)"
.PP
-\fB\-security\-debug sub\-options\fR
-.RS 4
-use \'\-security\-debug \-help\' to get information about sub\-options
-.RE
-.PP
\fB\-impact\-pragma f1,\&.\&.\&.,fn\fR
.RS 4
use the impact pragmas in the code of functions f1,\&.\&.\&.,fn
@@ -505,11 +435,6 @@ print the impacted stmt
.RE
.SS "C TO JESSIE (EXPERIMENTAL)"
.PP
-\fB\-impact\-print\fR
-.RS 4
-print the impacted stmt
-.RE
-.PP
\fB\-jessie\-analysis\fR
.RS 4
perform C to Jessie translation
@@ -596,22 +521,12 @@ give an option to Why (e\&.g\&., \-fast\-wp)
.RE
.SS "PROGRAM DEPENDENCE GRAPH (EXPERIMENTAL)"
.PP
-\fB\-why\-opt <s>\fR
-.RS 4
-give an option to Why (e\&.g\&., \-fast\-wp)
-.RE
-.PP
\fB\-pdg\-debug sub\-options\fR
.RS 4
use \'\-pdg\-debug \-help\' to get information about sub\-options
.RE
.SS "SPARE CODE (EXPERIMENTAL)"
.PP
-\fB\-pdg\-debug sub\-options\fR
-.RS 4
-use \'\-pdg\-debug \-help\' to get information about sub\-options
-.RE
-.PP
\fB\-sparecode\-analysis\fR
.RS 4
perform a spare code analysis
@@ -628,11 +543,6 @@ only remove unused global types and variables (automatically done by \-sparecode
.RE
.SS "SLICING"
.PP
-\fB\-rm\-unused\-globals\fR
-.RS 4
-only remove unused global types and variables (automatically done by \-sparecode\-analysis)
-.RE
-.PP
\fB\-slice\-print\fR
.RS 4
pretty print the sliced code
@@ -733,11 +643,6 @@ use \'\-slicing\-debug \-help\' to get information about sub\-options
.RE
.SS "AORAI (AKA LTL_TO_ACSL \-\- EXPERIMENTAL)"
.PP
-\fB\-slicing\-debug sub\-options\fR
-.RS 4
-use \'\-slicing\-debug \-help\' to get information about sub\-options
-.RE
-.PP
\fB\-ltl <s>\fR
.RS 4
Specifies file name for LTL property
@@ -784,11 +689,6 @@ Does not use advance abstract interpretation
.RE
.SS "VALVIEWER"
.PP
-\fB\-ltl\-advance\-AI\-off\fR
-.RS 4
-Does not use advance abstract interpretation
-.RE
-.PP
\fB\-monospace\-font f\fR
.RS 4
use font f as monospace font (defaults to Monospace,Lucida Sans Unicode,Sans)
@@ -800,22 +700,12 @@ use font f as general font (defaults to Helvetica,Lucida Sans Unicode,Sans)
.RE
.SS "PROJECT"
.PP
-\fB\-general\-font f\fR
-.RS 4
-use font f as general font (defaults to Helvetica,Lucida Sans Unicode,Sans)
-.RE
-.PP
\fB\-project\-debug sub\-options\fR
.RS 4
use \'\-project\-debug \-help\' to get information about sub\-options
.RE
.SS "JOURNALIZATION"
.PP
-\fB\-project\-debug sub\-options\fR
-.RS 4
-use \'\-project\-debug \-help\' to get information about sub\-options
-.RE
-.PP
\fB\-journal\-disable\fR
.RS 4
do not output any journal
@@ -827,22 +717,12 @@ set the filename of the journal (do not write any extension)
.RE
.SS "JOURNAL LOADING"
.PP
-\fB\-journal\-name\fR
-.RS 4
-set the filename of the journal (do not write any extension)
-.RE
-.PP
\fB\-load\-journal filename\fR
.RS 4
file name of the journal to load
.RE
.SS "HELP"
.PP
-\fB\-load\-journal filename\fR
-.RS 4
-file name of the journal to load
-.RE
-.PP
\fB\-help\fR
.RS 4
Display this list of options
diff --git a/debian/man/frama-c.1 b/debian/man/frama-c.1
index 6165333..e4fb993 100644
--- a/debian/man/frama-c.1
+++ b/debian/man/frama-c.1
@@ -99,11 +99,6 @@ level of debug (defaults to 0)\&.
.RE
.SS "SYNTACTICAL TOOLS"
.PP
-\fB\-debug n\fR
-.RS 4
-level of debug (defaults to 0)\&.
-.RE
-.PP
\fB\-print\fR
.RS 4
pretty print original code with its comments\&.
@@ -150,11 +145,6 @@ print some metrics into the specified file\&.
.RE
.SS "DYNAMIC (EXPERIMENTAL)"
.PP
-\fB\-metrics\-dump <s>\fR
-.RS 4
-print some metrics into the specified file\&.
-.RE
-.PP
\fB\-add\-path path\fR
.RS 4
add a search path for dynamic plugins
@@ -171,11 +161,6 @@ use \'\-dynamic\-debug \-help\' to get information about sub\-options
.RE
.SS "FILES"
.PP
-\fB\-dynamic\-debug sub\-options\fR
-.RS 4
-use \'\-dynamic\-debug \-help\' to get information about sub\-options
-.RE
-.PP
\fB\-cpp\-command CPP\fR
.RS 4
CPP string is used to build the preprocessing command\&.
@@ -215,22 +200,12 @@ use \'\-files\-debug \-help\' to get information about sub\-options
.RE
.SS "MEMZONES (EXPERIMENTAL)"
.PP
-\fB\-files\-debug sub\-options\fR
-.RS 4
-use \'\-files\-debug \-help\' to get information about sub\-options
-.RE
-.PP
\fB\-memzones\fR
.RS 4
force memzones display (undocumented)
.RE
.SS "OCCURRENCE"
.PP
-\fB\-memzones\fR
-.RS 4
-force memzones display (undocumented)
-.RE
-.PP
\fB\-occurrence\fR
.RS 4
print results of occurrence analysis
@@ -242,11 +217,6 @@ use \'\-occurrence\-debug \-help\' to get information about sub\-options
.RE
.SS "CALLGRAPH"
.PP
-\fB\-occurrence\-debug sub\-options\fR
-.RS 4
-use \'\-occurrence\-debug \-help\' to get information about sub\-options
-.RE
-.PP
\fB\-cg FILENAME\fR
.RS 4
dump a stratified call graph to FILENAME in dot format
@@ -258,11 +228,6 @@ use this function as a root service (you can add as many functions as you want;
.RE
.SS "VALUE ANALYSIS"
.PP
-\fB\-cg\-init\-func FUNCTION\fR
-.RS 4
-use this function as a root service (you can add as many functions as you want; if no function is declared, then root services are initialized with functions with no callers)
-.RE
-.PP
\fB\-val\fR
.RS 4
force values computations
@@ -349,11 +314,6 @@ use \'\-val\-debug \-help\' to get information about sub\-options
.RE
.SS "FUNCTIONAL DEPENDENCIES"
.PP
-\fB\-val\-debug sub\-options\fR
-.RS 4
-use \'\-val\-debug \-help\' to get information about sub\-options
-.RE
-.PP
\fB\-deps\fR
.RS 4
force dependencies display
@@ -365,22 +325,12 @@ force callsite\-wise dependencies (through value analysis)
.RE
.SS "USERS"
.PP
-\fB\-calldeps\fR
-.RS 4
-force callsite\-wise dependencies (through value analysis)
-.RE
-.PP
\fB\-users\fR
.RS 4
compute users (through value analysis)
.RE
.SS "SEMANTIC CONSTANT FOLDING"
.PP
-\fB\-users\fR
-.RS 4
-compute users (through value analysis)
-.RE
-.PP
\fB\-semantic\-const\-folding\fR
.RS 4
force semantic constant propagation and pretty print the new source code\&.
@@ -397,11 +347,6 @@ allow introduction of new casts from a folded constant\&.
.RE
.SS "INOUT (EXPERIMENTAL)"
.PP
-\fB\-cast\-from\-constant\fR
-.RS 4
-allow introduction of new casts from a folded constant\&.
-.RE
-.PP
\fB\-inout\fR
.RS 4
force operational inout display; this gives the operational inputs, an over\-approximation of the set of locations whose initial value is used; and the sure outputs, an under\-approximation of the set of writen tsets
@@ -433,22 +378,12 @@ force display of operational inputs computed in a linear pass\&. Function parame
.RE
.SS "SEMANTIC CALLGRAPH"
.PP
-\fB\-input_with_formals\fR
-.RS 4
-force display of operational inputs computed in a linear pass\&. Function parameters are displayed, locals are not\&.
-.RE
-.PP
\fB\-scg\-dump\fR
.RS 4
dump the semantic call graph to stdout
.RE
.SS "SECURITY (EXPERIMENTAL)"
.PP
-\fB\-scg\-dump\fR
-.RS 4
-dump the semantic call graph to stdout
-.RE
-.PP
\fB\-security\-analysis\fR
.RS 4
perform security analysis
@@ -485,11 +420,6 @@ use \'\-security\-debug \-help\' to get information about sub\-options
.RE
.SS "IMPACT (EXPERIMENTAL)"
.PP
-\fB\-security\-debug sub\-options\fR
-.RS 4
-use \'\-security\-debug \-help\' to get information about sub\-options
-.RE
-.PP
\fB\-impact\-pragma f1,\&.\&.\&.,fn\fR
.RS 4
use the impact pragmas in the code of functions f1,\&.\&.\&.,fn
@@ -505,11 +435,6 @@ print the impacted stmt
.RE
.SS "C TO JESSIE (EXPERIMENTAL)"
.PP
-\fB\-impact\-print\fR
-.RS 4
-print the impacted stmt
-.RE
-.PP
\fB\-jessie\-analysis\fR
.RS 4
perform C to Jessie translation
@@ -596,22 +521,12 @@ give an option to Why (e\&.g\&., \-fast\-wp)
.RE
.SS "PROGRAM DEPENDENCE GRAPH (EXPERIMENTAL)"
.PP
-\fB\-why\-opt <s>\fR
-.RS 4
-give an option to Why (e\&.g\&., \-fast\-wp)
-.RE
-.PP
\fB\-pdg\-debug sub\-options\fR
.RS 4
use \'\-pdg\-debug \-help\' to get information about sub\-options
.RE
.SS "SPARE CODE (EXPERIMENTAL)"
.PP
-\fB\-pdg\-debug sub\-options\fR
-.RS 4
-use \'\-pdg\-debug \-help\' to get information about sub\-options
-.RE
-.PP
\fB\-sparecode\-analysis\fR
.RS 4
perform a spare code analysis
@@ -628,11 +543,6 @@ only remove unused global types and variables (automatically done by \-sparecode
.RE
.SS "SLICING"
.PP
-\fB\-rm\-unused\-globals\fR
-.RS 4
-only remove unused global types and variables (automatically done by \-sparecode\-analysis)
-.RE
-.PP
\fB\-slice\-print\fR
.RS 4
pretty print the sliced code
@@ -733,11 +643,6 @@ use \'\-slicing\-debug \-help\' to get information about sub\-options
.RE
.SS "AORAI (AKA LTL_TO_ACSL \-\- EXPERIMENTAL)"
.PP
-\fB\-slicing\-debug sub\-options\fR
-.RS 4
-use \'\-slicing\-debug \-help\' to get information about sub\-options
-.RE
-.PP
\fB\-ltl <s>\fR
.RS 4
Specifies file name for LTL property
@@ -784,22 +689,12 @@ Does not use advance abstract interpretation
.RE
.SS "PROJECT"
.PP
-\fB\-ltl\-advance\-AI\-off\fR
-.RS 4
-Does not use advance abstract interpretation
-.RE
-.PP
\fB\-project\-debug sub\-options\fR
.RS 4
use \'\-project\-debug \-help\' to get information about sub\-options
.RE
.SS "JOURNALIZATION"
.PP
-\fB\-project\-debug sub\-options\fR
-.RS 4
-use \'\-project\-debug \-help\' to get information about sub\-options
-.RE
-.PP
\fB\-journal\-disable\fR
.RS 4
do not output any journal
@@ -811,22 +706,12 @@ set the filename of the journal (do not write any extension)
.RE
.SS "JOURNAL LOADING"
.PP
-\fB\-journal\-name\fR
-.RS 4
-set the filename of the journal (do not write any extension)
-.RE
-.PP
\fB\-load\-journal filename\fR
.RS 4
file name of the journal to load
.RE
.SS "HELP"
.PP
-\fB\-load\-journal filename\fR
-.RS 4
-file name of the journal to load
-.RE
-.PP
\fB\-help\fR
.RS 4
Display this list of options
diff --git a/debian/man/generate-man b/debian/man/generate-man
index a397f3b..2826cc1 100755
--- a/debian/man/generate-man
+++ b/debian/man/generate-man
@@ -66,6 +66,8 @@ while (<XML>) {
print NEW "\t</refsect2>\n\n";
}
$section = $sect;
+ $option = "";
+ $desc = "";
print NEW "\t<refsect2>\n";
print NEW "\t\t<title>$section</title>\n\n";
print NEW "\t\t<variablelist>\n";
--
frama-c packaging
More information about the Pkg-ocaml-maint-commits
mailing list