The following commit has been merged in the master branch: commit c3239380339861dba46ccf2ba629b46c4953055c Author: Ralf Treinen <trei...@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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits