[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. upstream/0.7-55-gbebc092

[Ralf Treinen]

The following commit has been merged in the master branch:
commit bebc092988b68636e0391c78de3a7c668121d520
Author: Ralf Treinen <treinen at debian.org>
Date:   Wed Nov 10 19:46:13 2010 +0100

    improve description ceve

diff --git a/debian/control b/debian/control
index b289c9d..9babef4 100644
--- a/debian/control
+++ b/debian/control
@@ -67,18 +67,21 @@ Depends: ${ocaml:Depends}, ${misc:Depends}, ${shlibs:Depends}
 Description: Parses package dependencies as set of constraints
  Ceve is a command line utility used to parse package metadata
  information (in particular package interrelationships such as
- dependencies) and convert them into a set of constraints that need to
- be satisfied by a proper package installation.
+ dependencies) and convert them into several other data formats
+ that can be used for further analysis.
  .
  Supported input formats for package metadata are:
   * .deb packages
   * Debian package lists (i.e. as in Packages.gz)
   * .rpm packages
   * RPM package lists
+  * CUDF
  .
- Supported output formats for set of constraints are:
+ Supported output formats for sets of constraints are:
   * pretty printed format for human consumption
   * Dose base, suitable as input for the Pkglab tool
   * Oz (a programming language supporting constraint programming)
-  * Graphviz
+  * dot/Graphviz
   * Tart, suitable as input for the Tart media partitioner
+  * CNF (formula in conjunctive normal form)
+  * DIMACS format of propositional formula
diff --git a/debian/manpages/ceve.1 b/debian/manpages/ceve.1
new file mode 100644
index 0000000..8f3ec88
--- /dev/null
+++ b/debian/manpages/ceve.1
@@ -0,0 +1,168 @@
+.TH ceve 1 "October 28, 2008" "Version 1.2" "USER COMMANDS"
+.SH NAME
+ceve \- parse package metadata
+.SH SYNOPSIS
+.B ceve
+[\-output-type
+.IR output-type ]
+[\-output-file
+.IR output-file ]
+[\-input-type
+.IR input-type ]
+[\-extract-cone
+.IR package=version ]
+[\-cone-dep-types
+.IR code-dependency-types ]
+[\-stop-extraction
+.IR package=version ]
+[\-dose-date
+.IR yyyy-mm-dd ]
+[\-dose-archive
+.IR archive-name ]
+[\-resolve-dependencies] [\-rpm-versions] [\-debian-versions] [\-verbose] [\-help]
+.I files
+[\-ignore-file-deps
+.IR file ]
+.SH DESCRIPTION
+Ceve is a generalized metadata parser. It reads package specifications,
+extracts package metadata from them, performs some manipulations, and outputs
+the package metadata in one of several formats.
+.SH OPTIONS
+.TP
+.BI "\-cone-dep-types " list
+A comma-separated list of dependency types to use for dependency closure
+generation. By default, all dependency types are used. Possible values are:
+.RS
+.IP \(bu 4
+conflicts
+.IP \(bu 4
+depends
+.IP \(bu 4
+enhances
+.IP \(bu 4
+predepends
+.IP \(bu 4
+recommends
+.IP \(bu 4
+replaces
+.IP \(bu 4
+suggests
+.RE
+.TP
+.B \-debian-versions
+Force usage of the Debian version numbering scheme, as well as the Debian
+syntax for virtual packages (dependencies with a version specification cannot
+be satisfied by a virtual package).
+.TP
+.BI "\-dose-architecture " architecture
+Use
+.I architecture
+as the default Dose architecture.
+.TP
+.BI "\-dose-archive " archive
+Use
+.I archive
+as the default Dose archive name.
+.TP
+.BI "\-dose-date " date
+Set
+.I date
+as the lifetime for the packages to add to a Dose database.
+.TP
+.BI "\-extract-cone " package
+Only output the package
+.I package
+and its dependency closure. The package specification can be either a package
+name, or a package name and version in the form
+.IR name = version .
+This option can be abbreviated as
+.BR \-x .
+.TP
+.B \-help
+Not particularly useful, given that you're already reading this manpage.
+.TP
+.BI "\-input-type " input-type
+The input type. Possible values are:
+.RS
+.IP \(bu 4
+.B debian
+One Debian package (.deb)
+.IP \(bu 4
+.B debian-pool
+A Debian pool or cache file
+.IP \(bu 4
+.B rpm
+One RPM package
+.IP \(bu 4
+.B hdlist
+An uncompressed RPM hdlist file
+.IP \(bu 4
+.B pkgsrc
+A pkgsrc pkg_summary file
+.IP \(bu 4
+.B synthesis-hdlist
+An RPM synthesis hdlist (uncompressed)
+.RE
+This option can be abbreviated as
+.BR \-p .
+.TP
+.BI "\-output-dir " directory
+Set the directory to output to. This is only useful when using the
+.B dose
+output type.
+.TP
+.BI "\-output-file " file 
+Set the file to output to. This option can be abbreviated as
+.BR \-o .
+.TP
+.BI "\-output-type " output-type
+Set the type of output to produce. Possible values are:
+.RS
+.IP \(bu 4
+.B prettyprint
+Pretty printer.
+.IP \(bu 4
+.B dose
+Dose database format (use the \-output-dir option to specify which directory to write to)
+.IP \(bu 4
+.B oz
+Oz data structure
+.IP \(bu 4
+.B graphviz
+GraphVIZ graph
+.IP \(bu 4
+.BR tart " or " cnf
+CNF formula, readable by Tart
+.RE
+This option can be abbreviated as
+.BR \-t .
+.TP
+.B \-resolve-dependencies
+If specified, resolve dependencies so that a dependency on a virtual package is
+replaced by the disjunction of all packages that provide the virtual package.
+.TP
+.B \-rpm-versions
+Force usage of the RPM version numbering scheme, as well as the RPM semantics
+for virtual packages (all provides have versions). This is default when using
+the
+.B rpm
+or
+.B hdlist
+input types.
+.TP
+.BI "\-stop-extraction " package
+When computing the dependency closure, stop at package
+.I package
+(i.e. do not take its dependencies into account). Specification is the same as
+for the
+.B \-extract-cone
+option.
+.TP
+.B \-verbose
+Be verbose (mostly useful for debugging).
+.TP
+.BI "\-ignore-file-deps " file
+.I file
+should countain a list of file dependencies that are assumed to be available,
+and thus will not generate a warning during dependency resolution if not
+provided by any package.

-- 
dose3 packaging