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 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, README.Debian


AUTHOR

Copyright: (C) 2011 Pietro Abate <pietro.abate@pps.jussieu.fr> Copyright: (C) 2011 Stefano Zacchiroli <zack@debian.org>

License: GNU Lesser General Public License (GPL), version 3 or above