SIMPLE SOLUTIONS

APT-CUDF(1) - man page online | user commands

CUDF solver integration for APT.

Chapter
2016-01-03
APT-CUDF(1)                                 DOSE Tools                                APT-CUDF(1)

NAME apt-cudf - CUDF solver integration for APT
SYNOPSIS solvername
DESCRIPTION apt-cudf translates back and forth among a CUDF-based dependency solver and the protocol used by APT to talk with external dependency solvers. apt-cudf therefore allows one to use any CUDF solver as an external solver for APT. apt-cudf relies on its "argv[0]" name to find the CUDF solver to invoke. In common setups, you should have a CUDF solver specification file under /usr/share/cudf/solvers/ for each installed CUDF solver. To use one such solver with APT, you should create a symbolic link pointing to /usr/bin/apt-cudf under /usr/lib/apt/solvers/ and call it with the name of the CUDF solver you want to use.
OPTIONS -v --verbose Print debugging information during operation. Can be repeated. -h --help Show usage information and exit. --version Show program's version and exit. --dump Dump the cudf universe and solution --noop Dump the cudf universe and solution and exit. This is useful to generate a cudf universe from a edsp file --conf Use a configuration file. Default in /etc/apt-cudf.conf -s <solver> --solver <solver> Specify the external solver to use. -e --explain Print a human-readable summary of the solution. --native-arch Speficy the native architecture to be used in the edsp -> cudf translation. By default apt-cudf uses apt-config to deduce the native architecture. This option is useful if the edsp was generated on a machine with a different architecture. --foreign-archs A comma-separated list of foreign architectures to be used in the edsp -> cudf translation
SEE ALSO apt-get(8), update-cudf-solvers(8), README.cudf-solvers <file:///usr/share/doc/apt- cudf/README.cudf-solvers>, README.Debian <file:///usr/share/doc/apt-cudf/README.Debian>
AUTHOR Copyright: (C) 2011 Pietro Abate <@pps.jussieu.fr> Copyright: (C) 2011 Stefano Zacchiroli <@debian.org> License: GNU Lesser General Public License (GPL), version 3 or above
2016-01-03 APT-CUDF(1)
This manual Reference Other manuals
apt-cudf(1) referred by apt-cudf-get(8) | cudf-check(1)
refer to apt-get(8) | update-cudf-solvers(8)