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 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.

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.