apt-cudf-get(8) [debian man page]

APT-CUDF-GET(8) 						    DOSE Tools							   APT-CUDF-GET(8)

NAME

       apt-cudf-get - wrapper for calling apt-get with external solvers

SYNOPSIS

       apt-cudf-get [arguments]

DESCRIPTION

       apt-cudf-get is a wrapper that allows to invoke apt-get with external solvers while ignoring apt's pinning.

       All options are passed on to apt-get.

       Normally, apt uses so-called pinning to select a candidate version of a package in case there are several versions available. This also
       holds when calling apt-get with external solvers. However, when it is not possible to find a solution under this constraint, it may be
       useful to relax pinning and to allow the external solver to choose among all available versions of packages in order to satisfy
       dependencies, not only those that are selected by the pinning.  This is precisely what apt-cudf-get does.

       Note that, when using an external solver, the proposed solution may contain any available version of the packages that are given as
       arguments to install on the command line without specifying a version qualifier.

       For example

	   apt-cudf-get --solver aspcud install ocaml

       may propose to install any available version of ocaml, while

	   apt-cudf-get --solver aspcud install ocaml=4.01.0

       will only propose to install ocaml in version 4.01.0

AUTHOR

       Pietro Abate and Roberto Di Cosmo

BUGS

       Not all types of arguements to apt are correctly treated by this wrapper, in particular not the +pkg and -pkg shorthands for installation
       and removal requests.

SEE ALSO

       apt-get(8), apt-cudf(1), apt-cudf.conf(5), 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>

dose3 3.0.2							    2012-06-25							   APT-CUDF-GET(8)

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 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 <pietro.abate@pps.jussieu.fr> Copyright: (C) 2011 Stefano Zacchiroli <zack@debian.org>

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

dose3 3.0.2							    2012-06-25							       APT-CUDF(1)