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

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 50825bcc6963c460c672b031a8e88dee11e5b1cb
Author: Ralf Treinen <treinen at debian.org>
Date:   Sat Dec 4 17:26:19 2010 +0100

    add manpage for buildcheck

diff --git a/debian/changelog b/debian/changelog
index c8c8bf6..ba879a8 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,5 +1,5 @@
-dose3 (2.9.0-1) UNRELEASED; urgency=low
+dose3 (2.9.0-1) experimental; urgency=low
 
   * Initial release (Closes: #587521)
 
- -- Ralf Treinen <treinen at debian.org>  Sat, 27 Nov 2010 11:37:20 +0100
+ -- Ralf Treinen <treinen at debian.org>  Sat, 04 Dec 2010 17:25:15 +0100
diff --git a/debian/copyright b/debian/copyright
index 573d35d..57e1175 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -8,7 +8,7 @@ Copyright: © 2009 Jaap Boender
 License: LGPL-3+
 
 File: deb/format822.ml
-Copyright: © 2005-2009 Jerome Vouillion, Stefano Zacchiroli, Pietro Abate
+Copyright: © 2005-2009 Jérôme Vouillion, Stefano Zacchiroli, Pietro Abate
 License: LGPL-3+
 
 File: algo/statistics.ml
@@ -16,7 +16,7 @@ Copyright: © 2008 Jaap Boender, Stefano Zacchiroli, Pietro Abate
 License: LGPL-3+
 
 Files: common/edosSolver.ml, common/edosSolver.mli 
-Copyright: © 2005-2009 Jerome Vouillion
+Copyright: © 2005-2009 Jérôme Vouillion
 License: LGPL-3+
 
 File: common/util.ml
@@ -41,11 +41,6 @@ library, see the COPYING file for more information.
 On Debian systems, the complete text of the latest GNU Lesser General
 Public License can be found in `/usr/share/common-licenses/LGPL'.
 
-Files: debian/*
-Copyright: © 2010 Ralf Treinen <zack at debian.org>
-License: GPL-3+
-
 The Debian packaging is copyright Ralf Treinen, and licensed under the
 GNU General Public License, see `/usr/share/common-licenses/GPL' for
 the full text.
-
diff --git a/debian/dose3-builddebcheck.manpages b/debian/dose3-builddebcheck.manpages
new file mode 100644
index 0000000..ad78d84
--- /dev/null
+++ b/debian/dose3-builddebcheck.manpages
@@ -0,0 +1 @@
+debian/manpages/dose3-builddebcheck.1
diff --git a/debian/manpages/dose3-builddebcheck.1 b/debian/manpages/dose3-builddebcheck.1
new file mode 100644
index 0000000..79f7855
--- /dev/null
+++ b/debian/manpages/dose3-builddebcheck.1
@@ -0,0 +1,86 @@
+.TH dose3-buildcheck 1 "December 4, 2010" "Version 2.9" "USER COMMANDS"
+.SH NAME
+dose3-buildcheck \- check installability of build-dependencies
+
+.SH SYNOPSIS
+\fBdose3-buildcheck\fR [option] ... \fIbinary-repository\fR \fIsource-repository\fR
+
+.SH DESCRIPTION
+.B dose3-buildcheck
+determines, for a set of debian source package control stanzas, called
+the source repository, whether a build environment for the packages of
+the source repository can be installed by using packages from the
+binary repository. For this, only package meta-information is taken
+into account: build-dependencies and build-conflicts in the source
+package, and inter-package relationsships expressed in the binary
+repository.
+.P
+The constraint solving algorithm is complete, that is it finds a
+solution whenever there exists one, even for multiple disjunctive
+dependencies and deep package conflicts. This problem is
+computationally infeasible in theory (that is, NP-complete), but can
+be solved very efficiently for package repositories that actually occur
+in practice.
+.P
+Installability of binary packages is analyzed according to their
+\fBDepends\fR, \fBConflicts\fR, and \fBProvides\fR fields with their
+meaning as of Debian policy version 3.9.0. \fBPre-depends\fR are
+treated like \fBDepends\fR, and \fBBreaks\fR are treated like
+\fBConflicts\fR.
+
+.SH INPUT FORMAT
+
+The \fBbinary-repository\fR argument is the name of a file containing
+stanzas in the format of deb-control(5), separated by one blank
+line. For instance, the Packages files as found on a Debian mirror
+server, or in the directory \fI/var/lib/apt/lists/\fR of a Debian
+system, are suitable.
+.P
+The \fBsource-repository\fR argument is the name of a file containing
+debian source control stanzas, separated by one blank
+line. For instance, the Sources files as found on a Debian mirror
+server, or in the directory \fI/var/lib/apt/lists/\fR of a Debian
+system, are suitable.
+
+.SH OPTIONS
+.TP
+.B \-a \-\-architecture 
+Specify the architecture for which installability of build
+environments should be checked. This argument is (in the current
+version of this program) mandatory.
+.TP
+.B \-f \-\-failures
+Only show broken packages that fail the installability check.
+.TP
+.B \-v \-\-successes
+Only show packages that do not fail the installability check.
+.TP
+.B \-e \-\-explain
+Explain the results in more detail.
+.TP
+.B \-v
+Enable info / warnings / debug messages. This option may be repeated
+up to three times in order to increase verbosity.
+.TP
+.B \-h, \-\-help
+Display this list of options.
+
+.SH EXAMPLE
+Compute the list of source packages in Sources for which it is not possible
+to install a build environment on i386, assuming that the binary packages
+described in file Packages are available:
+
+dose3-builddebcheck --architecture i386 --failures --explain Packages Sources
+
+.SH AUTHOR
+The current version has been rewritten on the basis of the dose3
+library by Pietro Abate; it replaces an earlier version that was 
+simply a wrapper for edos-distcheck.
+
+.SH SEE ALSO
+.BR deb-control (5),
+.BR dose3-distcheck (1)
+
+<http://www.edos-project.org> is the home page of the EDOS project.
+<http://www.mancoosi.org> is the home page of the Mancoosi project.
+

-- 
dose3 packaging