[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.4-1-12-g5a5cb26

Wed May 20 06:42:07 UTC 2009

The following commit has been merged in the master branch:
commit c3239380339861dba46ccf2ba629b46c4953055c
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed May 20 08:17:42 2009 +0200

    install edos-distcheck with manpages

diff --git a/debian/edos-distcheck.dirs b/debian/edos-distcheck.dirs
new file mode 100644
index 0000000..a65408f
--- /dev/null
+++ b/debian/edos-distcheck.dirs
@@ -0,0 +1,2 @@
+usr/bin
+usr/share/man
diff --git a/debian/edos-distcheck.manpages b/debian/edos-distcheck.manpages
new file mode 100644
index 0000000..a91345a
--- /dev/null
+++ b/debian/edos-distcheck.manpages
@@ -0,0 +1,2 @@
+debian/manpages/edos-debcheck.1
+debian/manpages/edos-rpmcheck.1
diff --git a/debian/manpages/edos-debcheck.1 b/debian/manpages/edos-debcheck.1
new file mode 100644
index 0000000..3dc9eff
--- /dev/null
+++ b/debian/manpages/edos-debcheck.1
@@ -0,0 +1,87 @@
+.TH EDOS-DEBCHECK 1 2006-05-20 EDOS
+
+.SH NAME
+Edos-debcheck \- Check satisfiability of Debian package dependencies
+
+.SH SYNOPSIS
+\fBedos-debcheck\fR [option] ... [package] ...
+
+.SH DESCRIPTION
+.B edos-debcheck
+reads from standard input a set of Debian package descriptions, each of which
+is in the format of deb-control(5). 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 as input to \fBedos-debcheck\fR.
+
+Packages may appear with multiple versions
+in this set. We say that a package is identified in this set by the pair
+consisting of the
+.I package name
+and of the
+.I package version\fR. 
+
+A package (called goal) is called \fIinstallable\fR with respect to a set of
+packages if there exists a subset of the packages that
+ - contains at most one version for each package name
+ - contains the goal package (in any version, or a specific version)
+ - all packages of the subset have their dependencies and conflicts satisfied 
+in this subset.
+
+Debcheck checks whether every package given as argument is installable with
+respect to the input set of packages. Specific versions can be specified by
+following the package name with the sign '=' and the version of the package
+(for instance, 'xemacs21=21.4.17-1'). If no package name is given as argument
+then all packages of the input set are checked for satisfiability.
+
+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
+in practice be solved very efficiently for Packages files occurring
+actually in Debian.
+
+.SH OPTIONS
+.TP
+.B -check
+Double-check the results
+.TP
+.B -explain
+Explain the results
+.TP
+.B -rules
+Print generated rules
+.TP
+.B -failures
+Only show failures
+.TP
+.B -successes
+Only show successes
+.TP
+.B -help, --help
+Display this list of options
+
+.SH EXAMPLE
+Check which packages in a particular distribution are not installable and why:
+
+  edos-debcheck -failures -explain < Packages
+
+where Packages is the file pertaining to that distribution, as for instance
+found in the directory \fI	/var/lib/apt/lists\fR.
+
+Check whether version 21.4.17-1 of the xemacs21 package is installable in a
+distribution described by the file Packages:
+
+  edos-debcheck -explain xemacs=21.4.17-1 < Packages
+
+
+.SH AUTHOR
+Edos-debcheck has been written by Jerome Vouillon for the EDOS project. This
+man-page has been compiled by Ralf Treinen.
+
+.SH SEE ALSO
+.BR deb-control (5)
+
+<http://www.edos-project.org> is the home page of the EDOS project.
+
+.BR edos-rpmcheck (1)
+is the analogous tool for rpm packages.
diff --git a/debian/manpages/edos-rpmcheck.1 b/debian/manpages/edos-rpmcheck.1
new file mode 100644
index 0000000..d1f4071
--- /dev/null
+++ b/debian/manpages/edos-rpmcheck.1
@@ -0,0 +1,81 @@
+.TH EDOS-RPMCHECK 1 2006-05-20 EDOS
+
+.SH NAME
+Edos-rpmcheck \- Check satisfiability of rpm package dependencies
+
+.SH SYNOPSIS
+\fBedos-rpmcheck\fR [option] ... [package] ...
+
+.SH DESCRIPTION
+.B edos-rpmcheck
+reads from standard input a set of rpm package descriptions. Packages may
+appear with multiple versions in this set. For instance, an uncompressed
+\fIhdlist.cz\fR is suitable as input.
+
+We say that a package is identified
+in this set by the pair consisting of the
+.I package name
+and of the
+.I package version\fR. 
+
+A package (called goal) is called \fIinstallable\fR with respect to a set of
+packages if there exists a subset of the packages that
+ - contains at most one version for each package name
+ - contains the goal package (in any version, or a specific version)
+ - all packages of the subset have their dependencies and conflicts satisfied 
+in this subset.
+
+.B Edos-rpmcheck
+checks whether every package given as argument is installable
+with respect to the input set of packages. Specific versions can be specified
+by following the package name with the sign '=' and the version of the package
+(for instance, 'xemacs21=21.4.17-1'). If no package name is given as argument
+then all packages of the input set are checked for satisfiability.
+
+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 in practice be solved very efficiently.
+
+.SH OPTIONS
+.TP
+.B -check
+Double-check the results
+.TP
+.B -explain
+Explain the results
+.TP
+.B -rules
+Print generated rules
+.TP
+.B -failures
+Only show failures
+.TP
+.B -successes
+Only show successes
+.TP
+.B -help, --help
+Display this list of options
+
+.SH EXAMPLE
+Check which packages in a particular distribution are not installable and why:
+
+  gunzip -c hdlist.cz | edos-rpmcheck -failures -explain
+
+where hdlist.cz is the file pertaining to that distribution.
+
+Check whether version 21.4.17-1 of the xemacs21 package is installable in a
+distribution described by the file Packages:
+
+  gunzip -c hdlist.cz | edos-rpmcheck -explain xemacs=21.4.17-1
+
+
+.SH AUTHOR
+Edos-rpmcheck has been written by Jerome Vouillon fro the EDOS project. This
+man-page has been compiled by Ralf Treinen.
+
+.SH SEE ALSO
+<http://www.edos-project.org> is the home page of the EDOS project.
+
+.BR edos-debcheck (1)
+is the analogous tool for debian packages.
diff --git a/debian/rules b/debian/rules
index 82a47c5..32f9159 100755
--- a/debian/rules
+++ b/debian/rules
@@ -4,6 +4,7 @@ include /usr/share/cdbs/1/class/makefile.mk
 include /usr/share/cdbs/1/rules/ocaml.mk
 
 PKGLAB_INST = $(CURDIR)/debian/pkglab
+DISTCHECK_INST = $(CURDIR)/debian/edos-distcheck
 
 ifeq ($(OCAML_HAVE_OCAMLOPT),yes)
  DEB_MAKE_BUILD_TARGET = depend pkglab.opt
@@ -21,5 +22,9 @@ else
 	cd distcheck && make distcheck.opt
 endif
 
+install/edos-distdcheck::
+	mkdir -p $(DISTCHECK_INST)/usr/bin
+	cd distcheck && make install BINDIR=$(DISTCHECK_INST)/usr/bin
+
 DEB_MAKE_INSTALL_TARGET = \
  install DESTDIR=$(PKGLAB_INST)/usr MANDIR=$(PKGLAB_INST)/usr/share/man
diff --git a/manpages/edos-debcheck.1 b/manpages/edos-debcheck.1
new file mode 100644
index 0000000..3dc9eff
--- /dev/null
+++ b/manpages/edos-debcheck.1
@@ -0,0 +1,87 @@
+.TH EDOS-DEBCHECK 1 2006-05-20 EDOS
+
+.SH NAME
+Edos-debcheck \- Check satisfiability of Debian package dependencies
+
+.SH SYNOPSIS
+\fBedos-debcheck\fR [option] ... [package] ...
+
+.SH DESCRIPTION
+.B edos-debcheck
+reads from standard input a set of Debian package descriptions, each of which
+is in the format of deb-control(5). 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 as input to \fBedos-debcheck\fR.
+
+Packages may appear with multiple versions
+in this set. We say that a package is identified in this set by the pair
+consisting of the
+.I package name
+and of the
+.I package version\fR. 
+
+A package (called goal) is called \fIinstallable\fR with respect to a set of
+packages if there exists a subset of the packages that
+ - contains at most one version for each package name
+ - contains the goal package (in any version, or a specific version)
+ - all packages of the subset have their dependencies and conflicts satisfied 
+in this subset.
+
+Debcheck checks whether every package given as argument is installable with
+respect to the input set of packages. Specific versions can be specified by
+following the package name with the sign '=' and the version of the package
+(for instance, 'xemacs21=21.4.17-1'). If no package name is given as argument
+then all packages of the input set are checked for satisfiability.
+
+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
+in practice be solved very efficiently for Packages files occurring
+actually in Debian.
+
+.SH OPTIONS
+.TP
+.B -check
+Double-check the results
+.TP
+.B -explain
+Explain the results
+.TP
+.B -rules
+Print generated rules
+.TP
+.B -failures
+Only show failures
+.TP
+.B -successes
+Only show successes
+.TP
+.B -help, --help
+Display this list of options
+
+.SH EXAMPLE
+Check which packages in a particular distribution are not installable and why:
+
+  edos-debcheck -failures -explain < Packages
+
+where Packages is the file pertaining to that distribution, as for instance
+found in the directory \fI	/var/lib/apt/lists\fR.
+
+Check whether version 21.4.17-1 of the xemacs21 package is installable in a
+distribution described by the file Packages:
+
+  edos-debcheck -explain xemacs=21.4.17-1 < Packages
+
+
+.SH AUTHOR
+Edos-debcheck has been written by Jerome Vouillon for the EDOS project. This
+man-page has been compiled by Ralf Treinen.
+
+.SH SEE ALSO
+.BR deb-control (5)
+
+<http://www.edos-project.org> is the home page of the EDOS project.
+
+.BR edos-rpmcheck (1)
+is the analogous tool for rpm packages.
diff --git a/manpages/edos-rpmcheck.1 b/manpages/edos-rpmcheck.1
new file mode 100644
index 0000000..d1f4071
--- /dev/null
+++ b/manpages/edos-rpmcheck.1
@@ -0,0 +1,81 @@
+.TH EDOS-RPMCHECK 1 2006-05-20 EDOS
+
+.SH NAME
+Edos-rpmcheck \- Check satisfiability of rpm package dependencies
+
+.SH SYNOPSIS
+\fBedos-rpmcheck\fR [option] ... [package] ...
+
+.SH DESCRIPTION
+.B edos-rpmcheck
+reads from standard input a set of rpm package descriptions. Packages may
+appear with multiple versions in this set. For instance, an uncompressed
+\fIhdlist.cz\fR is suitable as input.
+
+We say that a package is identified
+in this set by the pair consisting of the
+.I package name
+and of the
+.I package version\fR. 
+
+A package (called goal) is called \fIinstallable\fR with respect to a set of
+packages if there exists a subset of the packages that
+ - contains at most one version for each package name
+ - contains the goal package (in any version, or a specific version)
+ - all packages of the subset have their dependencies and conflicts satisfied 
+in this subset.
+
+.B Edos-rpmcheck
+checks whether every package given as argument is installable
+with respect to the input set of packages. Specific versions can be specified
+by following the package name with the sign '=' and the version of the package
+(for instance, 'xemacs21=21.4.17-1'). If no package name is given as argument
+then all packages of the input set are checked for satisfiability.
+
+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 in practice be solved very efficiently.
+
+.SH OPTIONS
+.TP
+.B -check
+Double-check the results
+.TP
+.B -explain
+Explain the results
+.TP
+.B -rules
+Print generated rules
+.TP
+.B -failures
+Only show failures
+.TP
+.B -successes
+Only show successes
+.TP
+.B -help, --help
+Display this list of options
+
+.SH EXAMPLE
+Check which packages in a particular distribution are not installable and why:
+
+  gunzip -c hdlist.cz | edos-rpmcheck -failures -explain
+
+where hdlist.cz is the file pertaining to that distribution.
+
+Check whether version 21.4.17-1 of the xemacs21 package is installable in a
+distribution described by the file Packages:
+
+  gunzip -c hdlist.cz | edos-rpmcheck -explain xemacs=21.4.17-1
+
+
+.SH AUTHOR
+Edos-rpmcheck has been written by Jerome Vouillon fro the EDOS project. This
+man-page has been compiled by Ralf Treinen.
+
+.SH SEE ALSO
+<http://www.edos-project.org> is the home page of the EDOS project.
+
+.BR edos-debcheck (1)
+is the analogous tool for debian packages.

-- 
pkglab packaging

