apt-cudf - CUDF solver integration for APT
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.
Print debugging information during operation. Can be repeated.
Show usage information and exit.
Show program's version and exit.
Dump the cudf universe and solution
Dump the cudf universe and solution and exit. This is useful to generate a cudf universe from a edsp file
Use a configuration file. Default in /etc/apt-cudf.conf
Specify the external solver to use.
Print a human-readable summary of the solution.
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.
A comma-separated list of foreign architectures to be used in the edsp -> cudf translation
apt-get(8), update-cudf-solvers(8), README.cudf-solvers, README.Debian
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