EDOS-RPMCHECK(1) General Commands Manual EDOS-RPMCHECK(1)NAME
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 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.
Explain the results
-rules Print generated rules
Only show failures
Only show successes
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
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
<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)
Check Out this Related Man Page
BUILDCHECK(1) DOSE Tools BUILDCHECK(1)NAME
dose-buildcheck - check installability of build-dependencies
dose-buildcheck [options] binary-repositories source-repository
dose-buildcheck determines, for a set of debian source package control stanzas, called the source repository, whether a build environment
for the packages of the source repository can be installed by using packages from the binary repository. For this, only package meta-
information is taken into account: build-dependencies and build-conflicts in the source package, and inter-package relationsships expressed
in the binary repository. 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 be solved very efficiently for package repositories that actually occur in practice. Installability of binary packages is analyzed
according to their Depends, Conflicts, and Provides fields with their meaning as of Debian policy version 3.9.0. Pre-depends are treated
like Depends, and Breaks are treated like Conflicts.
The binary-repositories argument is a list of filenames containing stanzas in the format of deb-control(5), separated by one blank line.
For instance, the Packages files as found on a Debian mirror server, or in the directory /var/lib/apt/lists/ of a Debian system, are
suitable. The source-repository argument is the name of a file containing debian source control stanzas, separated by one blank line. For
instance, the Sources files as found on a Debian mirror server, or in the directory /var/lib/apt/lists/ of a Debian system, are suitable.
Multi-arch annotations are correctly considered by distcheck. Packages whose's architecture is neither the native architecture nor in the
list of foreign architectures (see below) are ignored. Here, native and foreign refers at the same time to the architecture on which the
compilation will be run, and to the target architecture of the compilation. Cross-compilation is not supported in the current version.
Specify the native architecture. The default behavior is to deduce the native architecture from the first package stanza in the
input that has an architecture different from all.
--deb-foreign-archs=name [,name] ...
Specify a comma-separated list of foreign architectures. The default is an empty list of foreign architectures.
Only show broken packages that fail the installability check.
Only show packages that do not fail the installability check.
Explain the results in more detail.
-v Enable info / warnings / debug messages. This option may be repeated up to three times in order to increase verbosity.
Display this list of options.
Compute the list of source packages in Sources for which it is not possible to install a build environment on i386, assuming that the
binary packages described in file Packages are available:
dose-builddebcheck -v -f -e --arch amd64
The current version has been rewritten on the basis of the dose3 library by Pietro Abate; it replaces an earlier version that was simply a
wrapper for edos-distcheck.
SEE ALSO deb-control(5), dose-distcheck(1)
<http://www.edos-project.org> is the home page of the EDOS project. <http://www.mancoosi.org> is the home page of the Mancoosi project.
dose3 3.0.2 2012-10-03 BUILDCHECK(1)