Man Linux: Main Page and Category List


       Edos-pscheck - Check satisfiability of pkgsrc package dependencies


       edos-pscheck [option] ... pkg-summary-file


       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.


              Explain the results

       -rules Print generated rules

              Only show failures

              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


       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.


       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


       <> is the home page of the EDOS project.

       edos-debcheck(1) and edos-rpmcheck(1) are the analogous tool for debian
       and rpm packages.