debian man page for edos-pscheck

Query: edos-pscheck

OS: debian

Section: 1

Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar

EDOS-RPMCHECK(1)					      General Commands Manual						  EDOS-RPMCHECK(1)

NAME
Edos-pscheck - Check satisfiability of pkgsrc package dependencies
SYNOPSIS
edos-pscheck [option] ... pkg-summary-file
DESCRIPTION
edos-pscheck reads package descriptions from a file in the pkg_summary format of NetBSD. We say that a package is identified by the pair consisting of the package name and of the package version. A package (called goal) is called installable 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. Edos-psmcheck checks whether every package in the set 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 pack- age 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 depen- dencies and deep package conflicts. This problem is computationally infeasible in theory (that is, NP-complete), but can in practice be solved very efficiently.
OPTIONS
-explain Explain the results -rules Print generated rules -failures Only show failures -successes Only show successes -base file Specifiy an additional file providing packages that are not checked but used for resolving dependencies -quiet Supress warnings and progress/timing messages -xml Output results in XML format -help, --help Display this list of options
EXAMPLE
Check which packages in a particular distribution are not installable and why: edos-pscheck -failures -explain pkg_summary where pkg_summary is the file pertaining to that distribution.
AUTHOR
Edos-pscheck has been written by Jerome Vouillon and Jaap Boender for the EDOS and Mancoosi projects. This man-page has been compiled by Ralf Treinen.
SEE ALSO
<http://www.edos-project.org> is the home page of the EDOS project. edos-debcheck(1) and edos-rpmcheck(1) are the analogous tool for debian and rpm packages.
EDOS
2009-05-25 EDOS-RPMCHECK(1)
Related Man Pages
pkg_summary(5) - netbsd
dose-builddebcheck(1) - debian
edos-builddebcheck(1) - debian
dpkg-checkbuilddeps(1) - xfree86
dpkg-checkbuilddeps(1) - freebsd
Similar Topics in the Unix Linux Community
installable packages on AIX
Explain following sed syntax please