[Pkg-ocaml-maint-commits] [why] 01/02: add jessie manpage

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository why.

commit 0002c30d1df6e7119ab9b38a38f54ce26174b5cd
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Oct 9 19:55:22 2016 +0200

    add jessie manpage
---
 debian/changelog    |  1 +
 debian/jessie.1     | 83 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 debian/why.manpages |  1 +
 3 files changed, 85 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 5fc9d68..118460b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -32,6 +32,7 @@ why (2.36-1) UNRELEASED; urgency=medium
     - format version 4
     - get link to newest version from the krakatoa home page (instead of
       trying to read the download/ directory).
+  * Create manpage, based on the output of help2man, for jessie
   * drop autoconf from d/rules and from build-dependencies
   * d/rules: disable upstream tests
   * d/rules: create bin directory before invoking dh_auto_build
diff --git a/debian/jessie.1 b/debian/jessie.1
new file mode 100644
index 0000000..0b392e4
--- /dev/null
+++ b/debian/jessie.1
@@ -0,0 +1,83 @@
+.TH JESSIE "1" "October 2016" " " "User Commands"
+.SH NAME
+Jessie \- plugin of the Frama-C environment for static analysis of C
+code. It aims at deductive verification of behavioral properties of
+the code, specified using the ACSL language.
+.SH SYNOPSIS
+\fBjessie\fR [options] files
+.SH OPTIONS
+.TP
+\fB\-parse\-only\fR
+stops after parsing
+.TP
+\fB\-type\-only\fR
+stops after typing
+.TP
+\fB\-user\-annot\-only\fR
+check only user\-defined annotations (i.e. safety is assumed)
+.TP
+\fB\-print\-call\-graph\fR
+stops after call graph and print call graph
+.TP
+\fB\-gen\-only\fR
+stops after generating intermediate Why3 code
+.TP
+\fB\-d\fR
+debugging mode
+.TP
+\fB\-locs\fR
+<f> reads source locations from file f
+.TP
+\fB\-behavior\fR
+verify only specified behavior (safety, variant, default or user\-defined behavior)
+.TP
+\fB\-why3cmd\fR
+<why3 command>  (default: ide)
+.TP
+\fB\-v\fR
+verbose mode
+.TP
+\fB\-q\fR
+quiet mode (default)
+.TP
+\fB\-main\fR
+main function for interprocedural abstract interpretation (needs \fB\-ai\fR <domain>)
+.TP
+\fB\-fast\-ai\fR
+fast ai (needs \fB\-ai\fR <domain> and \fB\-main\fR <function>)
+.TP
+\fB\-trust\-ai\fR
+verify inferred annotations (needs \fB\-ai\fR <domain>)
+.TP
+\fB\-separation\fR
+apply region\-based separation on pointers
+.TP
+\fB\-\-werror\fR
+treats warnings as errors
+.TP
+\fB\-\-version\fR
+prints version and exit
+.TP
+\fB\-all\-offsets\fR
+generate vcs for all pointer offsets
+.TP
+\fB\-invariants\-only\fR
+verify invariants only (Arguments policy)
+.TP
+\fB\-verify\fR
+verify only these functions
+.HP
+\fB\-gen_frame_rule_with_ft\fR Experimental : Generate frame rule for predicates and logic functions using only their definitions
+.TP
+\fB\-help\fR
+Display this list of options
+.TP
+\fB\-\-help\fR
+Display this list of options
+.SH "SEE ALSO"
+The tutorial and reference manual for
+.B jessie
+can be obtained at the address
+.B http://krakatoa.lri.fr/jessie.html
+.PP
+
diff --git a/debian/why.manpages b/debian/why.manpages
new file mode 100644
index 0000000..e2986a6
--- /dev/null
+++ b/debian/why.manpages
@@ -0,0 +1 @@
+debian/jessie.1

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/why.git